summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/verifier
AgeCommit message (Expand)AuthorFilesLines
2021-11-17bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.Alexei Starovoitov1-1/+1
2021-08-13selftests, bpf: Test that dead ldx_w insns are acceptedIlya Leoshkevich1-0/+12
2021-07-16bpf, selftests: Add test cases for pointer alu from multiple pathsDaniel Borkmann1-0/+229
2021-06-15bpf, selftests: Adjust few selftest outcomes wrt unreachable codeDaniel Borkmann7-7/+52
2021-05-25bpf, selftests: Adjust few selftest result_unpriv outcomesDaniel Borkmann2-10/+0
2021-04-27bpf: Fix propagation of 32 bit unsigned bounds from 64 bit boundsDaniel Borkmann1-1/+1
2021-04-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-0/+43
2021-04-20bpf/selftests: Add bpf_get_task_stack retval bounds verifier testDave Marchevsky1-0/+43
2021-04-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski6-35/+16
2021-04-17bpf: Update selftests to reflect new error statesDaniel Borkmann6-35/+16
2021-03-27bpf: Support bpf program calling kernel functionMartin KaFai Lau2-11/+11
2021-03-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller4-10/+59
2021-03-17bpf, selftests: Fix up some test_verifier cases for unprivilegedPiotr Krysiuk4-10/+59
2021-03-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-0/+1
2021-03-05selftests: bpf: Don't run sk_lookup in verifier testsLorenz Bauer1-0/+1
2021-03-05bpf: Explicitly zero-extend R0 after 32-bit cmpxchgBrendan Jackman2-0/+50
2021-03-02selftests/bpf: Mask bpf_csum_diff() return value to 16 bits in test_verifierYauheni Kaliuta1-1/+2
2021-02-22bpf, x86: Fix BPF_FETCH atomic and/or/xor with r0 as srcBrendan Jackman1-0/+23
2021-02-10selftests/bpf: Fix endianness issues in atomic testsIlya Leoshkevich3-3/+3
2021-02-10selftest/bpf: Verifier tests for var-off accessAndrei Matei1-2/+97
2021-02-10selftest/bpf: Adjust expected verifier errorsAndrei Matei9-37/+41
2021-02-03bpf: Propagate stack bounds to registers in atomics w/ BPF_FETCHBrendan Jackman1-0/+27
2021-01-21selftests/bpf: Add verifier tests for x64 jit jump paddingGary Lin1-0/+24
2021-01-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+30
2021-01-15bpf: Add tests for new BPF atomic operationsBrendan Jackman6-0/+479
2021-01-15bpf: Rename BPF_XADD and prepare to encode other atomics in .immBrendan Jackman7-24/+24
2021-01-14selftests/bpf: Add verifier test for PTR_TO_MEM spillGilad Reti1-0/+30
2020-12-15Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-2/+3
2020-12-14selftests/bpf: Add a test for ptr_to_map_value on stack for helper accessYonghong Song1-2/+3
2020-12-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2-1/+42
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-11-19selftests/bpf: Mark tests that require unaligned memory accessBjörn Töpel7-18/+52
2020-11-13selftests/bpf: Add asm tests for pkt vs pkt_end comparison.Alexei Starovoitov1-0/+42
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