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