Show patches with: Submitter = Maxim Mikityanskiy       |    Archived = No       |   41 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bpf] bpf: Fix error message on kfunc arg type mismatch [bpf] bpf: Fix error message on kfunc arg type mismatch 1 - - --- 2024-09-09 Maxim Mikityanskiy Accepted
[bpf-next,v3,6/6] selftests/bpf: states pruning checks for scalar vs STACK_MISC Improvements for tracking scalars in the BPF verifier - - - --- 2024-01-27 Maxim Mikityanskiy Accepted
[bpf-next,v3,5/6] bpf: handle scalar spill vs all MISC in stacksafe() Improvements for tracking scalars in the BPF verifier - - - --- 2024-01-27 Maxim Mikityanskiy Accepted
[bpf-next,v3,4/6] selftests/bpf: Add test cases for narrowing fill Improvements for tracking scalars in the BPF verifier 1 - - --- 2024-01-27 Maxim Mikityanskiy Accepted
[bpf-next,v3,3/6] bpf: Preserve boundaries and track scalars on narrowing fill Improvements for tracking scalars in the BPF verifier - - - --- 2024-01-27 Maxim Mikityanskiy Accepted
[bpf-next,v3,2/6] selftests/bpf: Test tracking spilled unbounded scalars Improvements for tracking scalars in the BPF verifier 1 - - --- 2024-01-27 Maxim Mikityanskiy Accepted
[bpf-next,v3,1/6] bpf: Track spilled unbounded scalars Improvements for tracking scalars in the BPF verifier 1 - - --- 2024-01-27 Maxim Mikityanskiy Accepted
[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
[bpf-next,15/15] selftests/bpf: states pruning checks for scalar vs STACK_{MISC,ZERO} Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy New
[bpf-next,14/15] bpf: Optimize state pruning for spilled scalars Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy New
[bpf-next,13/15] selftests/bpf: Add test cases for narrowing fill Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy New
[bpf-next,12/15] bpf: Preserve boundaries and track scalars on narrowing fill Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy New
[bpf-next,11/15] selftests/bpf: Test tracking spilled unbounded scalars Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,10/15] bpf: Track spilled unbounded scalars Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy New
[bpf-next,09/15] selftests/bpf: Test assigning ID to scalars on spill Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,08/15] bpf: Assign ID to scalars on spill Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy New
[bpf-next,07/15] bpf: Add the get_reg_width function Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,06/15] bpf: Add the assign_scalar_id_before_mov function Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,05/15] selftests/bpf: Add a test case for 32-bit spill tracking Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,04/15] bpf: Make bpf_for_each_spilled_reg consider narrow spills Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,03/15] selftests/bpf: check if imprecise stack spills confuse infinite loop detection Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,02/15] bpf: make infinite loop detection in is_state_visited() exact Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy Accepted
[bpf-next,01/15] selftests/bpf: Fix the u64_offset_to_skb_data test Improvements for tracking scalars in the BPF verifier - - - --- 2023-12-20 Maxim Mikityanskiy New
[bpf,v4,2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill Fix verifier id tracking of scalars on spill 1 - - --- 2023-06-07 Maxim Mikityanskiy Accepted
[bpf,v4,1/2] bpf: Fix verifier id tracking of scalars on spill Fix verifier id tracking of scalars on spill 1 - - --- 2023-06-07 Maxim Mikityanskiy Accepted
[bpf,v3,2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill Fix BPF verifier bypass on scalar spill 1 - - --- 2023-06-06 Maxim Mikityanskiy New
[bpf,v3,1/2] bpf: Fix verifier tracking scalars on spill Fix BPF verifier bypass on scalar spill 1 - - --- 2023-06-06 Maxim Mikityanskiy New