Code

History

Commits on master to kernel/bpf/tnum.c15
  1. bpf: Simplify tnum_step()Hao Sun committed 7 months ago833ef4a
  2. bpf: Introduce tnum_step to step through tnum's membersHarishankar Vishwanathan committed 8 months ago76e9541
  3. bpf: Add bitwise tracking for BPF_ENDTianci Cao committed 9 months ago9d21199
  4. bpf: Improve the general precision of tnum_mulNandakumar Edamana committed 1 year ago1df7dad
  5. bpf: Use tnums for JEQ/JNE is_branch_taken logicPaul Chaignon committed 1 year agof41345f
  6. bpf: Add range tracking for BPF_NEGSong Liu committed 1 year agoaced132
  7. bpf: simplify tnum output if a fully known constantAndrii Nakryiko committed 2 years ago81eff2e
  8. bpf: generalize reg_set_min_max() to handle non-const register comparisonsAndrii Nakryiko committed 3 years ago6742050
  9. bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mulHarishankar Vishwanathan committed 5 years ago0592471
  10. bpf: Verifier, do explicit ALU32 bounds trackingJohn Fastabend committed 6 years ago3f50f13
  11. bpf: Fix incorrect verifier simulation of ARSH under ALU32Daniel Borkmann committed 6 years ago0af2ffc
  12. treewide: Add SPDX license identifier for missed filesThomas Gleixner committed 7 years ago457c899
  13. bpf/verifier: improve register value range tracking with ARSHYonghong Song committed 8 years ago9cbe1f5
  14. bpf/verifier: track signed and unsigned min/max valuesEdward Cree committed 9 years agob03c9f9
  15. bpf/verifier: rework value trackingEdward Cree committed 9 years agof1174f7