Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-12-02 | bpf: simplify tnum output if a fully known constant | Andrii Nakryiko | 1 | -6/+0 |
2023-11-15 | bpf: generalize reg_set_min_max() to handle non-const register comparisons | Andrii Nakryiko | 1 | -1/+6 |
2021-06-01 | bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mul | Harishankar Vishwanathan | 1 | -19/+22 |
2020-03-30 | bpf: Verifier, do explicit ALU32 bounds tracking | John Fastabend | 1 | -0/+15 |
2020-01-15 | bpf: Fix incorrect verifier simulation of ARSH under ALU32 | Daniel Borkmann | 1 | -2/+7 |
2019-05-21 | treewide: Add SPDX license identifier for missed files | Thomas Gleixner | 1 | -0/+1 |
2018-04-29 | bpf/verifier: improve register value range tracking with ARSH | Yonghong Song | 1 | -0/+10 |
2017-08-08 | bpf/verifier: track signed and unsigned min/max values | Edward Cree | 1 | -0/+16 |
2017-08-08 | bpf/verifier: rework value tracking | Edward Cree | 1 | -0/+164 |