summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/verifier
AgeCommit message (Expand)Author
2023-03-25selftests/bpf: verifier/div0.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/direct_stack_access_wraparound.c converted to inline ...Eduard Zingerman
2023-03-25selftests/bpf: verifier/ctx_sk_msg.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/const_or.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/cgroup_storage.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/cgroup_skb.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/cgroup_inv_retcode.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/cfg.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/bounds_mix_sign_unsign.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/bounds_deduction.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/basic_stack.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/array_access.c converted to inline assemblyEduard Zingerman
2023-03-25selftests/bpf: verifier/and.c converted to inline assemblyEduard Zingerman
2023-03-25bpf: Treat KF_RELEASE kfuncs as KF_TRUSTED_ARGSDavid Vernet
2023-03-22selftests/bpf: Check when bounds are not in the 32-bit rangeXu Kuohai
2023-03-03selftests/bpf: test if pointer type is tracked for BPF_ST_MEMEduard Zingerman
2023-03-03bpf: allow ctx writes using BPF_ST_MEM instructionEduard Zingerman
2023-03-03bpf: Refactor RCU enforcement in the verifier.Alexei Starovoitov
2023-03-03bpf: Introduce kptr_rcu.Alexei Starovoitov
2023-02-22bpf: Allow reads from uninit stackEduard Zingerman
2023-02-15selftests/bpf: check if BPF_ST with variable offset preserves STACK_ZEROEduard Zingerman
2023-02-15selftests/bpf: check if verifier tracks constants spilled by BPF_ST_MEMEduard Zingerman
2023-02-15bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman
2023-02-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-01-25bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepableDavid Vernet
2023-01-19selftests/bpf: Verify copy_register_state() preserves parent/live fieldsEduard Zingerman
2023-01-17bpf/selftests: Add verifier tests for loading sleepable programsJiri Olsa
2022-12-10selftests/bpf: test case for relaxed prunning of active_lock.idEduard Zingerman
2022-12-10selftests/bpf: Add pruning test case for bpf_spin_lockKumar Kartikeya Dwivedi
2022-12-10selftests/bpf: verify states_equal() maintains idmap across all framesEduard Zingerman
2022-12-10selftests/bpf: test cases for regsafe() bug skipping check_id()Eduard Zingerman
2022-12-08bpf: Rework check_func_arg_reg_offKumar Kartikeya Dwivedi
2022-11-30bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov
2022-11-20bpf: Allow trusted pointers to be passed to KF_TRUSTED_ARGS kfuncsDavid Vernet
2022-11-17bpf: Rewrite kfunc argument handlingKumar Kartikeya Dwivedi
2022-11-15selftests/bpf: check nullness propagation for reg to reg comparisonsEduard Zingerman
2022-11-14bpf: Rename MEM_ALLOC to MEM_RINGBUFKumar Kartikeya Dwivedi
2022-11-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2022-11-04selftests/bpf: Add verifier test for release_reference()Youlin Li
2022-10-19bpf: add selftests for lsh, rsh, arsh with reg operandJie Meng
2022-09-30selftests/bpf: Fix spelling mistake "unpriviledged" -> "unprivileged"Colin Ian King
2022-09-21selftests/bpf: Add verifier tests for bpf_lookup_*_key() and bpf_key_put()Roberto Sassu
2022-08-25selftests/bpf: Add regression test for pruning fixKumar Kartikeya Dwivedi
2022-07-21selftests/bpf: Fix test_verifier failed test in unprivileged modeKumar Kartikeya Dwivedi
2022-07-21selftests/bpf: Add verifier tests for trusted kfunc argsKumar Kartikeya Dwivedi
2022-07-09Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2022-07-01bpf, selftests: Add verifier test case for jmp32's jeq/jneDaniel Borkmann
2022-07-01bpf, selftests: Add verifier test case for imm=0,umin=0,umax=1 scalarDaniel Borkmann
2022-06-24selftest/bpf: Test for use-after-free bug fix in inline_bpf_loopEduard Zingerman
2022-06-20selftests/bpf: BPF test_verifier selftests for bpf_loop inliningEduard Zingerman