Show patches with: Series = Improvements for tracking scalars in the BPF verifier       |    State = Action Required       |   15 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bpf-next,15/15] selftests/bpf: states pruning checks for scalar vs STACK_{MISC,ZERO} Improvements for tracking scalars in the BPF verifier - - - 47212 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,14/15] bpf: Optimize state pruning for spilled scalars Improvements for tracking scalars in the BPF verifier - - - 48112 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,13/15] selftests/bpf: Add test cases for narrowing fill Improvements for tracking scalars in the BPF verifier 1 - - 48112 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,12/15] bpf: Preserve boundaries and track scalars on narrowing fill Improvements for tracking scalars in the BPF verifier - - - 48-13 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,11/15] selftests/bpf: Test tracking spilled unbounded scalars Improvements for tracking scalars in the BPF verifier 1 - - 48112 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,10/15] bpf: Track spilled unbounded scalars Improvements for tracking scalars in the BPF verifier 1 - - 44215 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,09/15] selftests/bpf: Test assigning ID to scalars on spill Improvements for tracking scalars in the BPF verifier 1 - - 48112 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,08/15] bpf: Assign ID to scalars on spill Improvements for tracking scalars in the BPF verifier 1 - - 49-12 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,07/15] bpf: Add the get_reg_width function Improvements for tracking scalars in the BPF verifier - - - 48112 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,06/15] bpf: Add the assign_scalar_id_before_mov function Improvements for tracking scalars in the BPF verifier 1 - - 48112 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,05/15] selftests/bpf: Add a test case for 32-bit spill tracking Improvements for tracking scalars in the BPF verifier 1 - - 48112 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,04/15] bpf: Make bpf_for_each_spilled_reg consider narrow spills Improvements for tracking scalars in the BPF verifier 1 - - 49-12 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,03/15] selftests/bpf: check if imprecise stack spills confuse infinite loop detection Improvements for tracking scalars in the BPF verifier - - - 48-13 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,02/15] bpf: make infinite loop detection in is_state_visited() exact Improvements for tracking scalars in the BPF verifier - - - 49-12 2023-12-20 Maxim Mikityanskiy bpf New
[bpf-next,01/15] selftests/bpf: Fix the u64_offset_to_skb_data test Improvements for tracking scalars in the BPF verifier 1 - - 48-13 2023-12-20 Maxim Mikityanskiy bpf New