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