summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/verifier
AgeCommit message (Expand)AuthorFilesLines
2022-12-02selftests/bpf: Add verifier test for release_reference()Youlin Li1-0/+36
2022-08-11selftests/bpf: Extend verifier and bpf_sock tests for dst_port loadsJakub Sitnicki1-3/+78
2022-08-03selftests: bpf: Don't run sk_lookup in verifier testsLorenz Bauer1-0/+1
2021-12-22bpf, selftests: Add test case trying to taint map value pointerDaniel Borkmann1-0/+23
2021-12-14bpf: Add selftests to cover packet access corner casesMaxim Mikityanskiy1-16/+584
2021-12-14bpf: Fix the off-by-two error in range markingsMaxim Mikityanskiy1-16/+16
2021-11-18bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.Alexei Starovoitov1-1/+1
2021-08-08selftest/bpf: Verifier tests for var-off accessAndrei Matei1-2/+97
2021-08-08bpf, selftests: Adjust few selftest outcomes wrt unreachable codeDaniel Borkmann7-7/+52
2021-08-08bpf: Update selftests to reflect new error statesDaniel Borkmann6-35/+16
2021-08-08bpf, selftests: Adjust few selftest result_unpriv outcomesDaniel Borkmann2-10/+0
2021-08-08selftest/bpf: Adjust expected verifier errorsAndrei Matei9-37/+41
2021-08-08selftests/bpf: Add a test for ptr_to_map_value on stack for helper accessYonghong Song1-2/+3
2021-05-14bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann1-1/+1
2021-03-20bpf, selftests: Fix up some test_verifier cases for unprivilegedPiotr Krysiuk4-10/+59
2021-03-17selftests/bpf: Mask bpf_csum_diff() return value to 16 bits in test_verifierYauheni Kaliuta1-1/+2
2020-12-11selftests/bpf: Fix array access with signed variable testJean-Philippe Brucker1-1/+1
2020-12-11selftests/bpf: Add test for signed 32-bit bound check bugJean-Philippe Brucker1-0/+41
2020-10-20bpf: selftest: Ensure the return value of bpf_skc_to helpers must be checkedMartin KaFai Lau1-0/+25
2020-10-15bpf: Fix register equivalence tracking.Alexei Starovoitov1-0/+26
2020-10-09selftests/bpf: Asm tests for the verifier regalloc tracking.Alexei Starovoitov1-0/+243
2020-10-09bpf: Propagate scalar ranges through register assignments.Alexei Starovoitov1-1/+1
2020-10-07selftests/bpf: Fix test_verifier after introducing resolve_pseudo_ldimm64Hao Luo2-9/+1
2020-09-26bpf: Add AND verifier test case where 32bit and 64bit bounds differJohn Fastabend1-0/+16
2020-09-25bpf: selftest: Add ref_tracking verifier test for bpf_skc castingMartin KaFai Lau1-0/+47
2020-09-18bpf: Add abnormal return checks.Alexei Starovoitov1-3/+3
2020-09-09selftests/bpf: Add test for map_ptr arithmeticYonghong Song1-0/+32
2020-08-27selftests/bpf: Add verifier tests for xor operationYonghong Song1-0/+146
2020-08-26selftests/bpf: Add verifier test for d_path helperJiri Olsa1-0/+37
2020-08-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-0/+1
2020-07-18selftests/bpf: Add verifier tests for bpf_sk_lookup context accessJakub Sitnicki1-0/+492
2020-07-11selftests/bpf: Fix cgroup sockopt verifier testJean-Philippe Brucker1-0/+1
2020-06-22selftests/bpf: Test access to bpf map pointerAndrey Ignatov1-0/+62
2020-06-22bpf: Support access to bpf map fieldsAndrey Ignatov1-1/+1
2020-06-20tools/bpf: Add verifier tests for 32bit pointer/scalar arithmeticYonghong Song1-0/+38
2020-06-02bpf, selftests: Use bpf_probe_read_kernelIlya Leoshkevich4-48/+48
2020-06-02selftests/bpf: Fix verifier testAlexei Starovoitov1-1/+1
2020-06-02bpf: Implement BPF ring buffer and verifier support for itAndrii Nakryiko8-18/+18
2020-06-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-14/+32
2020-05-29bpf, selftests: Add a verifier test for assigning 32bit reg states to 64bit onesJohn Fastabend1-0/+22
2020-05-29bpf, selftests: Verifier bounds tests need to be updatedJohn Fastabend1-14/+10
2020-05-22bpf: Selftests, verifier case for non null pointer map value branchJohn Fastabend1-0/+19
2020-05-22bpf: Selftests, verifier case for non null pointer check branch takenJohn Fastabend1-0/+33
2020-05-15selftests/bpf: Use CAP_BPF and CAP_PERFMON in testsAlexei Starovoitov2-13/+13
2020-04-30selftests/bpf: Test allowed maps for bpf_sk_select_reuseportJakub Sitnicki1-0/+45
2020-04-30selftests/bpf: Test that lookup on SOCKMAP/SOCKHASH is allowedJakub Sitnicki2-30/+70
2020-04-26bpf: Enable more helpers for BPF_PROG_TYPE_CGROUP_{DEVICE,SYSCTL,SOCKOPT}Stanislav Fomichev1-0/+24
2020-04-21bpf, selftests: Add test for BPF_STX BPF_B storing R10Luke Nelson1-0/+40
2020-04-21bpf: Forbid XADD on spilled pointers for unprivileged usersJann Horn1-0/+1
2020-04-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfDavid S. Miller1-2/+2