summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/verifier
AgeCommit message (Expand)AuthorFilesLines
2024-07-18bpf: Allow reads from uninit stackEduard Zingerman7-128/+301
2023-06-28bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman1-46/+64
2023-02-22selftests/bpf: Verify copy_register_state() preserves parent/live fieldsEduard Zingerman1-0/+36
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-05-01selftests/bpf: Add test for reg2btf_ids out of bounds accessKumar Kartikeya Dwivedi1-0/+19
2021-12-22bpf, selftests: Update test case for atomic cmpxchg on r0 with pointerDaniel Borkmann1-2/+65
2021-12-22bpf, selftests: Add test case trying to taint map value pointerDaniel Borkmann1-0/+23
2021-12-22bpf, selftests: Add test case for atomic fetch on spilled 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-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