Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-06-01 | bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mul | 1 | -19/+22 | |
2020-03-30 | bpf: Verifier, do explicit ALU32 bounds tracking | 1 | -0/+15 | |
2020-01-15 | bpf: Fix incorrect verifier simulation of ARSH under ALU32 | 1 | -2/+7 | |
2019-05-21 | treewide: Add SPDX license identifier for missed files | 1 | -0/+1 | |
2018-04-29 | bpf/verifier: improve register value range tracking with ARSH | 1 | -0/+10 | |
2017-08-08 | bpf/verifier: track signed and unsigned min/max values | 1 | -0/+16 | |
2017-08-08 | bpf/verifier: rework value tracking | 1 | -0/+164 |