linux.git - Clone of https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git

Age	Commit message (Expand)	Author	Files	Lines
2 days	bpf: Introduce tnum_step to step through tnum's members	Harishankar Vishwanathan	1	-0/+56
2 days	bpf: Add bitwise tracking for BPF_END	Tianci Cao	1	-0/+16
2025-08-27	bpf: Improve the general precision of tnum_mul	Nandakumar Edamana	1	-13/+42
2025-08-22	bpf: Use tnums for JEQ/JNE is_branch_taken logic	Paul Chaignon	1	-0/+8
2025-06-25	bpf: Add range tracking for BPF_NEG	Song Liu	1	-0/+5
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