summaryrefslogtreecommitdiff
path: root/kernel/bpf/tnum.c
AgeCommit message (Expand)AuthorFilesLines
2023-12-02bpf: simplify tnum output if a fully known constantAndrii Nakryiko1-6/+0
2023-11-15bpf: generalize reg_set_min_max() to handle non-const register comparisonsAndrii Nakryiko1-1/+6
2021-06-01bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mulHarishankar Vishwanathan1-19/+22
2020-03-30bpf: Verifier, do explicit ALU32 bounds trackingJohn Fastabend1-0/+15
2020-01-15bpf: Fix incorrect verifier simulation of ARSH under ALU32Daniel Borkmann1-2/+7
2019-05-21treewide: Add SPDX license identifier for missed filesThomas Gleixner1-0/+1
2018-04-29bpf/verifier: improve register value range tracking with ARSHYonghong Song1-0/+10
2017-08-08bpf/verifier: track signed and unsigned min/max valuesEdward Cree1-0/+16
2017-08-08bpf/verifier: rework value trackingEdward Cree1-0/+164