| 01c66c48d4f0 ("bpf: Fix an incorrect branch elimination by verifier") |
| cac616db39c2 ("bpf: Verifier track null pointer branch_taken with JNE and JEQ") |
| 3f50f132d840 ("bpf: Verifier, do explicit ALU32 bounds tracking") |
| 0fc31b10cfb7 ("bpf: Simplify reg_set_min_max_inv handling") |
| 604dca5e3af1 ("bpf: Fix tnum constraints for 32-bit comparisons") |
| f2d67fec0b43 ("bpf: Undo incorrect __reg_bound_offset32 handling") |
| 07cd263148a5 ("bpf: Verifer, refactor adjust_scalar_min_max_vals") |
| 0af2ffc93a4b ("bpf: Fix incorrect verifier simulation of ARSH under ALU32") |
| f54c7898ed1c ("bpf: Fix precision tracking for unbounded scalars") |
| 581738a681b6 ("bpf: Provide better register bounds after jmp32 instructions") |
