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