summaryrefslogtreecommitdiff
path: root/kernel/bpf/tnum.c
AgeCommit message (Expand)Author
2023-12-02bpf: simplify tnum output if a fully known constantAndrii Nakryiko
2023-11-15bpf: generalize reg_set_min_max() to handle non-const register comparisonsAndrii Nakryiko
2021-06-01bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mulHarishankar Vishwanathan
2020-03-30bpf: Verifier, do explicit ALU32 bounds trackingJohn Fastabend
2020-01-15bpf: Fix incorrect verifier simulation of ARSH under ALU32Daniel Borkmann
2019-05-21treewide: Add SPDX license identifier for missed filesThomas Gleixner
2018-04-29bpf/verifier: improve register value range tracking with ARSHYonghong Song
2017-08-08bpf/verifier: track signed and unsigned min/max valuesEdward Cree
2017-08-08bpf/verifier: rework value trackingEdward Cree