summaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/bpf/verifier
AgeCommit message (Expand)AuthorLines
2023-03-25selftests/bpf: verifier/and.c converted to inline assemblyEduard Zingerman-68/+0
2023-03-25bpf: Treat KF_RELEASE kfuncs as KF_TRUSTED_ARGSDavid Vernet-6/+10
2023-03-22selftests/bpf: Check when bounds are not in the 32-bit rangeXu Kuohai-0/+121
2023-03-03selftests/bpf: test if pointer type is tracked for BPF_ST_MEMEduard Zingerman-0/+23
2023-03-03bpf: allow ctx writes using BPF_ST_MEM instructionEduard Zingerman-11/+0
2023-03-03bpf: Refactor RCU enforcement in the verifier.Alexei Starovoitov-1/+1
2023-03-03bpf: Introduce kptr_rcu.Alexei Starovoitov-2/+2
2023-02-22bpf: Allow reads from uninit stackEduard Zingerman-131/+94
2023-02-15selftests/bpf: check if BPF_ST with variable offset preserves STACK_ZEROEduard Zingerman-0/+30
2023-02-15selftests/bpf: check if verifier tracks constants spilled by BPF_ST_MEMEduard Zingerman-0/+37
2023-02-15bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman-46/+64
2023-02-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski-0/+36
2023-01-25bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepableDavid Vernet-1/+1
2023-01-19selftests/bpf: Verify copy_register_state() preserves parent/live fieldsEduard Zingerman-0/+36
2023-01-17bpf/selftests: Add verifier tests for loading sleepable programsJiri Olsa-0/+91
2022-12-10selftests/bpf: test case for relaxed prunning of active_lock.idEduard Zingerman-0/+75
2022-12-10selftests/bpf: Add pruning test case for bpf_spin_lockKumar Kartikeya Dwivedi-0/+39
2022-12-10selftests/bpf: verify states_equal() maintains idmap across all framesEduard Zingerman-0/+82
2022-12-10selftests/bpf: test cases for regsafe() bug skipping check_id()Eduard Zingerman-0/+103
2022-12-08bpf: Rework check_func_arg_reg_offKumar Kartikeya Dwivedi-2/+2
2022-11-30bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov-4/+4
2022-11-20bpf: Allow trusted pointers to be passed to KF_TRUSTED_ARGS kfuncsDavid Vernet-3/+3
2022-11-17bpf: Rewrite kfunc argument handlingKumar Kartikeya Dwivedi-3/+3
2022-11-15selftests/bpf: check nullness propagation for reg to reg comparisonsEduard Zingerman-0/+174
2022-11-14bpf: Rename MEM_ALLOC to MEM_RINGBUFKumar Kartikeya Dwivedi-2/+2
2022-11-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski-0/+36
2022-11-04selftests/bpf: Add verifier test for release_reference()Youlin Li-0/+36
2022-10-19bpf: add selftests for lsh, rsh, arsh with reg operandJie Meng-0/+24
2022-09-30selftests/bpf: Fix spelling mistake "unpriviledged" -> "unprivileged"Colin Ian King-2/+2
2022-09-21selftests/bpf: Add verifier tests for bpf_lookup_*_key() and bpf_key_put()Roberto Sassu-0/+139
2022-08-25selftests/bpf: Add regression test for pruning fixKumar Kartikeya Dwivedi-0/+25
2022-07-21selftests/bpf: Fix test_verifier failed test in unprivileged modeKumar Kartikeya Dwivedi-0/+1
2022-07-21selftests/bpf: Add verifier tests for trusted kfunc argsKumar Kartikeya Dwivedi-0/+53
2022-07-09Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski-0/+263
2022-07-01bpf, selftests: Add verifier test case for jmp32's jeq/jneDaniel Borkmann-0/+21
2022-07-01bpf, selftests: Add verifier test case for imm=0,umin=0,umax=1 scalarDaniel Borkmann-0/+22
2022-06-24selftest/bpf: Test for use-after-free bug fix in inline_bpf_loopEduard Zingerman-0/+11
2022-06-20selftests/bpf: BPF test_verifier selftests for bpf_loop inliningEduard Zingerman-0/+252
2022-05-11bpf: Prepare prog_test_struct kfuncs for runtime testsKumar Kartikeya Dwivedi-2/+2
2022-04-25selftests/bpf: Add test for strict BTF type checkKumar Kartikeya Dwivedi-0/+20
2022-04-25selftests/bpf: Add verifier tests for kptrKumar Kartikeya Dwivedi-0/+469
2022-04-25bpf: Tag argument to be released in bpf_func_protoKumar Kartikeya Dwivedi-4/+4
2022-03-05selftests/bpf: Add tests for kfunc register offset checksKumar Kartikeya Dwivedi-0/+83
2022-03-05bpf: Disallow negative offset in check_ptr_off_regKumar Kartikeya Dwivedi-5/+5
2022-03-03bpf: Small BPF verifier log improvementsMykola Lysenko-57/+57
2022-02-21selftests/bpf: Add test for reg2btf_ids out of bounds accessKumar Kartikeya Dwivedi-0/+19
2022-01-31selftests/bpf: Extend verifier and bpf_sock tests for dst_port loadsJakub Sitnicki-3/+78
2022-01-24Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski-0/+75
2022-01-19bpf, selftests: Add ringbuf memory type confusion testDaniel Borkmann-2/+33
2022-01-19bpf, selftests: Add various ringbuf tests with invalid offsetDaniel Borkmann-0/+64