aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/tnum.c
AgeCommit message (Expand)AuthorFilesLines
2023-12-02bpf: simplify tnum output if a fully known constantGravatar Andrii Nakryiko 1-6/+0
2023-11-15bpf: generalize reg_set_min_max() to handle non-const register comparisonsGravatar Andrii Nakryiko 1-1/+6
2021-06-01bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mulGravatar Harishankar Vishwanathan 1-19/+22
2020-03-30bpf: Verifier, do explicit ALU32 bounds trackingGravatar John Fastabend 1-0/+15
2020-01-15bpf: Fix incorrect verifier simulation of ARSH under ALU32Gravatar Daniel Borkmann 1-2/+7
2019-05-21treewide: Add SPDX license identifier for missed filesGravatar Thomas Gleixner 1-0/+1
2018-04-29bpf/verifier: improve register value range tracking with ARSHGravatar Yonghong Song 1-0/+10
2017-08-08bpf/verifier: track signed and unsigned min/max valuesGravatar Edward Cree 1-0/+16
2017-08-08bpf/verifier: rework value trackingGravatar Edward Cree 1-0/+164