Show patches with: Submitter = Eduard Zingerman       |    Archived = No       |   531 patches
« 1 2 3 4 … 5 6 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bpf-next,2/3] bpf: infer packet range for 'if pkt ==/!= pkt_end' comparisons infer packet range for 'if pkt ==/!= pkt_end' instructions - - - 61-- 2024-01-08 Eduard Zingerman bpf Changes Requested
[bpf-next,1/3] bpf: simplify try_match_pkt_pointers() infer packet range for 'if pkt ==/!= pkt_end' instructions - - - 601- 2024-01-08 Eduard Zingerman bpf Changes Requested
[RFC,v3,3/3] selftests/bpf: verify bpftool emits preserve_static_offset use preserve_static_offset in bpf uapi headers - - - 45-- 2023-12-20 Eduard Zingerman bpf RFC
[RFC,v3,2/3] bpftool: add attribute preserve_static_offset for context types use preserve_static_offset in bpf uapi headers - - - 45-- 2023-12-20 Eduard Zingerman bpf RFC
[RFC,v3,1/3] bpf: Mark virtual BPF context structures as preserve_static_offset use preserve_static_offset in bpf uapi headers - - - 45-- 2023-12-20 Eduard Zingerman bpf RFC
[RFC,v2,3/3] selftests/bpf: verify bpftool emits preserve_static_offset use preserve_static_offset in bpf uapi headers - - - 34-- 2023-12-12 Eduard Zingerman bpf Superseded
[RFC,v2,2/3] bpftool: add attribute preserve_static_offset for context types use preserve_static_offset in bpf uapi headers - - - 34-- 2023-12-12 Eduard Zingerman bpf Superseded
[RFC,v2,1/3] bpf: Mark virtual BPF context structures as preserve_static_offset use preserve_static_offset in bpf uapi headers - - - 34-- 2023-12-12 Eduard Zingerman bpf Superseded
[bpf-next,1/1] bpf: Mark virtual BPF context structures as preserve_static_offset use preserve_static_offset in bpf uapi headers - - - 471- 2023-12-08 Eduard Zingerman bpf Superseded
[bpf-next] libbpf: Start v1.4 development cycle [bpf-next] libbpf: Start v1.4 development cycle - - - 4611 2023-11-23 Eduard Zingerman bpf Accepted
[bpf,v4,11/11] selftests/bpf: check if max number of bpf_loop iterations is tracked verify callbacks as if they are called unknown number of times - - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,10/11] bpf: keep track of max number of bpf_loop callback iterations verify callbacks as if they are called unknown number of times - - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,09/11] selftests/bpf: test widening for iterating callbacks verify callbacks as if they are called unknown number of times - - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,08/11] bpf: widening for callback iterators verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,07/11] selftests/bpf: tests for iterating callbacks verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,06/11] bpf: verify callbacks as if they are called unknown number of times verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,05/11] bpf: extract setup_func_entry() utility function verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,04/11] bpf: extract __check_reg_arg() utility function verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,03/11] selftests/bpf: fix bpf_loop_bench for new callback verification scheme verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,02/11] selftests/bpf: track string payload offset as scalar in strobemeta verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v4,01/11] selftests/bpf: track tcp payload offset as scalar in xdp_synproxy verify callbacks as if they are called unknown number of times 1 - - 36-1 2023-11-21 Eduard Zingerman bpf Accepted
[bpf,v3,11/11] selftests/bpf: check if max number of bpf_loop iterations is tracked verify callbacks as if they are called unknown number of times - - - 4615 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,10/11] bpf: keep track of max number of bpf_loop callback iterations verify callbacks as if they are called unknown number of times - - - 4525 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,09/11] selftests/bpf: test widening for iterating callbacks verify callbacks as if they are called unknown number of times - - - 4615 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,08/11] bpf: widening for callback iterators verify callbacks as if they are called unknown number of times 1 - - 4525 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,07/11] selftests/bpf: tests for iterating callbacks verify callbacks as if they are called unknown number of times 1 - - 4516 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,06/11] bpf: verify callbacks as if they are called unknown number of times verify callbacks as if they are called unknown number of times 1 - - 4525 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,05/11] bpf: extract setup_func_entry() utility function verify callbacks as if they are called unknown number of times 1 - - 4525 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,04/11] bpf: extract __check_reg_arg() utility function verify callbacks as if they are called unknown number of times 1 - - 4525 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,03/11] selftests/bpf: fix bpf_loop_bench for new callback verification scheme verify callbacks as if they are called unknown number of times 1 - - 4615 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,02/11] selftests/bpf: track string payload offset as scalar in strobemeta verify callbacks as if they are called unknown number of times 1 - - 4426 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v3,01/11] selftests/bpf: track tcp payload offset as scalar in xdp_synproxy verify callbacks as if they are called unknown number of times 1 - - 4525 2023-11-20 Eduard Zingerman bpf Superseded
[bpf,v2,11/11] selftests/bpf: check if max number of bpf_loop iterations is tracked verify callbacks as if they are called unknown number of times - - - 39210 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,10/11] bpf: keep track of max number of bpf_loop callback iterations verify callbacks as if they are called unknown number of times - - - 39210 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,09/11] selftests/bpf: test widening for iterating callbacks verify callbacks as if they are called unknown number of times - - - 40110 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,08/11] bpf: widening for callback iterators verify callbacks as if they are called unknown number of times 1 - - 39210 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,07/11] selftests/bpf: tests for iterating callbacks verify callbacks as if they are called unknown number of times 1 - - 39111 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,06/11] bpf: verify callbacks as if they are called unknown number of times verify callbacks as if they are called unknown number of times - - - 39210 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,05/11] bpf: extract setup_func_entry() utility function verify callbacks as if they are called unknown number of times 1 - - 39210 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,04/11] bpf: extract __check_reg_arg() utility function verify callbacks as if they are called unknown number of times 1 - - 39210 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,03/11] selftests/bpf: fix bpf_loop_bench for new callback verification scheme verify callbacks as if they are called unknown number of times 1 - - 40110 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,02/11] selftests/bpf: track string payload offset as scalar in strobemeta verify callbacks as if they are called unknown number of times 1 - - 38211 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,v2,01/11] selftests/bpf: track tcp payload offset as scalar in xdp_synproxy verify callbacks as if they are called unknown number of times 1 - - 39210 2023-11-18 Eduard Zingerman bpf Superseded
[bpf,12/12] selftests/bpf: check if max number of bpf_loop iterations is tracked verify callbacks as if they are called unknown number of times - - - 4511 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,11/12] selftests/bpf: add __not_msg annotation for test_loader based tests verify callbacks as if they are called unknown number of times - - - 4421 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,10/12] bpf: keep track of max number of bpf_loop callback iterations verify callbacks as if they are called unknown number of times - - - 4421 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,09/12] selftests/bpf: test widening for iterating callbacks verify callbacks as if they are called unknown number of times - - - 4511 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,08/12] bpf: widening for callback iterators verify callbacks as if they are called unknown number of times 1 - - 4421 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,07/12] selftests/bpf: tests for iterating callbacks verify callbacks as if they are called unknown number of times 1 - - 4412 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,06/12] bpf: verify callbacks as if they are called unknown number of times verify callbacks as if they are called unknown number of times - - - 4421 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,05/12] bpf: extract setup_func_entry() utility function verify callbacks as if they are called unknown number of times 1 - - 4421 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,04/12] bpf: extract __check_reg_arg() utility function verify callbacks as if they are called unknown number of times 1 - - 4421 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,03/12] selftests/bpf: fix bpf_loop_bench for new callback verification scheme verify callbacks as if they are called unknown number of times 1 - - 4511 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,02/12] selftests/bpf: track string payload offset as scalar in strobemeta verify callbacks as if they are called unknown number of times 1 - - 4322 2023-11-16 Eduard Zingerman bpf Superseded
[bpf,01/12] selftests/bpf: track tcp payload offset as scalar in xdp_synproxy verify callbacks as if they are called unknown number of times 1 - - 4421 2023-11-16 Eduard Zingerman bpf Superseded
[bpf-next,v3,7/7] bpf: print full verifier states on infinite loop detection exact states comparison for iterator convergence checks 1 - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,6/7] selftests/bpf: test if state loops are detected in a tricky case exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,5/7] bpf: correct loop detection for iterators convergence exact states comparison for iterator convergence checks - 1 - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,4/7] selftests/bpf: tests with delayed read/precision makrs in loop body exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,3/7] bpf: exact states comparison for iterator convergence checks exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,2/7] bpf: extract same_callsites() as utility function exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v3,1/7] bpf: move explored_state() closer to the beginning of verifier.c exact states comparison for iterator convergence checks - - - 432- 2023-10-24 Eduard Zingerman bpf Accepted
[bpf-next,v2,7/7] bpf: print full verifier states on infinite loop detection exact states comparison for iterator convergence checks 1 - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,6/7] selftests/bpf: test if state loops are detected in a tricky case exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,5/7] bpf: correct loop detection for iterators convergence exact states comparison for iterator convergence checks - 1 - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,4/7] selftests/bpf: tests with delayed read/precision makrs in loop body exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,3/7] bpf: exact states comparison for iterator convergence checks exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,2/7] bpf: extract same_callsites() as utility function exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,v2,1/7] bpf: move explored_state() closer to the beginning of verifier.c exact states comparison for iterator convergence checks - - - 4122 2023-10-22 Eduard Zingerman bpf Superseded
[bpf-next,5/5] bpf: print full verifier states on infinite loop detection exact states comparison for iterator convergence checks - - - 4221 2023-10-21 Eduard Zingerman bpf Superseded
[bpf-next,4/5] selftests/bpf: test if state loops are detected in a tricky case exact states comparison for iterator convergence checks - - - 4221 2023-10-21 Eduard Zingerman bpf Superseded
[bpf-next,3/5] bpf: correct loop detection for iterators convergence exact states comparison for iterator convergence checks - - - 4221 2023-10-21 Eduard Zingerman bpf Superseded
[bpf-next,2/5] selftests/bpf: tests with delayed read/precision makrs in loop body exact states comparison for iterator convergence checks - - - 4221 2023-10-21 Eduard Zingerman bpf Superseded
[bpf-next,1/5] bpf: exact states comparison for iterator convergence checks exact states comparison for iterator convergence checks - - - 4221 2023-10-21 Eduard Zingerman bpf Superseded
[bpf-next,2/2] selftests/bpf: Offloaded prog after non-offloaded should not cause BUG Avoid dummy bpf_offload_netdev in __bpf_prog_dev_bound_init - - - 3528 2023-09-12 Eduard Zingerman bpf Accepted
[bpf-next,1/2] bpf: Avoid dummy bpf_offload_netdev in __bpf_prog_dev_bound_init Avoid dummy bpf_offload_netdev in __bpf_prog_dev_bound_init - - - 3618 2023-09-12 Eduard Zingerman bpf Accepted
[bpf] docs/bpf: Fix "file doesn't exist" warnings in {llvm_reloc,btf}.rst [bpf] docs/bpf: Fix "file doesn't exist" warnings in {llvm_reloc,btf}.rst 1 - - 4012 2023-09-01 Eduard Zingerman bpf Accepted
[bpf-next,v3,1/1] docs/bpf: Add description for CO-RE relocations docs/bpf: Add description for CO-RE relocations 1 - - 4212 2023-08-26 Eduard Zingerman bpf Accepted
[bpf-next,v2,1/1] docs/bpf: Add description for CO-RE relocations docs/bpf: Add description for CO-RE relocations 1 - - 501- 2023-08-25 Eduard Zingerman bpf Superseded
[bpf-next] docs/bpf: Add description for CO-RE relocations [bpf-next] docs/bpf: Add description for CO-RE relocations - - - 441- 2023-08-24 Eduard Zingerman bpf Superseded
[bpf-next] selftests/bpf: relax expected log messages to allow emitting BPF_ST [bpf-next] selftests/bpf: relax expected log messages to allow emitting BPF_ST 1 - - 432- 2023-08-08 Eduard Zingerman bpf Accepted
[RFC,bpf-next] bpf: generate 'nomerge' for map helpers in bpf_helper_defs.h [RFC,bpf-next] bpf: generate 'nomerge' for map helpers in bpf_helper_defs.h - - - 1716 2023-06-15 Eduard Zingerman bpf RFC
[bpf-next,v6,4/4] selftests/bpf: verify that check_ids() is used for scalars in regsafe() verify scalar ids mapping in regsafe() - - - 432- 2023-06-13 Eduard Zingerman bpf Accepted
[bpf-next,v6,3/4] bpf: verify scalar ids mapping in regsafe() using check_ids() verify scalar ids mapping in regsafe() 1 - - 4212 2023-06-13 Eduard Zingerman bpf Accepted
[bpf-next,v6,2/4] selftests/bpf: check if mark_chain_precision() follows scalar ids verify scalar ids mapping in regsafe() 1 - - 432- 2023-06-13 Eduard Zingerman bpf Accepted
[bpf-next,v6,1/4] bpf: use scalar ids in mark_chain_precision() verify scalar ids mapping in regsafe() 1 - - 4311 2023-06-13 Eduard Zingerman bpf Accepted
[bpf-next,v5,4/4] selftests/bpf: verify that check_ids() is used for scalars in regsafe() verify scalar ids mapping in regsafe() - - - 422- 2023-06-12 Eduard Zingerman bpf Superseded
[bpf-next,v5,3/4] bpf: verify scalar ids mapping in regsafe() using check_ids() verify scalar ids mapping in regsafe() 1 - - 3815 2023-06-12 Eduard Zingerman bpf Superseded
[bpf-next,v5,2/4] selftests/bpf: check if mark_chain_precision() follows scalar ids verify scalar ids mapping in regsafe() 1 - - 422- 2023-06-12 Eduard Zingerman bpf Superseded
[bpf-next,v5,1/4] bpf: use scalar ids in mark_chain_precision() verify scalar ids mapping in regsafe() 1 - - 4211 2023-06-12 Eduard Zingerman bpf Superseded
[bpf-next,v1] selftests/bpf: fix invalid pointer check in get_xlated_program() [bpf-next,v1] selftests/bpf: fix invalid pointer check in get_xlated_program() - - - 42-3 2023-06-09 Eduard Zingerman bpf Accepted
[bpf-next,v4,4/4] selftests/bpf: verify that check_ids() is used for scalars in regsafe() verify scalar ids mapping in regsafe() - - - 4122 2023-06-09 Eduard Zingerman bpf Superseded
[bpf-next,v4,3/4] bpf: verify scalar ids mapping in regsafe() using check_ids() verify scalar ids mapping in regsafe() 1 - - 4014 2023-06-09 Eduard Zingerman bpf Superseded
[bpf-next,v4,2/4] selftests/bpf: check if mark_chain_precision() follows scalar ids verify scalar ids mapping in regsafe() 1 - - 4122 2023-06-09 Eduard Zingerman bpf Superseded
[bpf-next,v4,1/4] bpf: use scalar ids in mark_chain_precision() verify scalar ids mapping in regsafe() 1 - - 4113 2023-06-09 Eduard Zingerman bpf Superseded
[bpf-next,v3,4/4] selftests/bpf: verify that check_ids() is used for scalars in regsafe() verify scalar ids mapping in regsafe() - - - 4023 2023-06-06 Eduard Zingerman bpf Superseded
[bpf-next,v3,3/4] bpf: verify scalar ids mapping in regsafe() using check_ids() verify scalar ids mapping in regsafe() 1 - - 3915 2023-06-06 Eduard Zingerman bpf Superseded
[bpf-next,v3,2/4] selftests/bpf: check if mark_chain_precision() follows scalar ids verify scalar ids mapping in regsafe() 1 - - 4023 2023-06-06 Eduard Zingerman bpf Superseded
[bpf-next,v3,1/4] bpf: use scalar ids in mark_chain_precision() verify scalar ids mapping in regsafe() - - - 3915 2023-06-06 Eduard Zingerman bpf Superseded
[bpf-next,v2,4/4] selftests/bpf: check env->that range_transfer_ids has effect verify scalar ids mapping in regsafe() - - - 4122 2023-05-30 Eduard Zingerman bpf Superseded
« 1 2 3 4 … 5 6 »