Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-06-01 | bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mul | Harishankar Vishwanathan | 1 | -19/+22 |
2020-03-31 | bpf: Verifier, do explicit ALU32 bounds tracking | John Fastabend | 1 | -0/+15 |
2020-01-16 | 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-09 | bpf/verifier: track signed and unsigned min/max values | Edward Cree | 1 | -0/+16 |
2017-08-09 | bpf/verifier: rework value tracking | Edward Cree | 1 | -0/+164 |