aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/bpf/verifier.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2024-05-13Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-70/+70
2024-05-12riscv, bpf: inline bpf_get_smp_processor_id()Puranjay Mohan1-0/+4
2024-05-06bpf/verifier: relax MUL range computation checkCupertino Miranda1-5/+1
2024-05-06bpf/verifier: improve XOR and OR range computationCupertino Miranda1-2/+2
2024-05-06bpf/verifier: refactor checks for range computationCupertino Miranda1-64/+45
2024-05-06bpf/verifier: replace calls to mark_reg_unknown.Cupertino Miranda1-5/+4
2024-05-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-2/+31
2024-04-30bpf: Add support for kprobe session cookieJiri Olsa1-0/+7
2024-04-29bpf: Fix verifier assumptions about socket->skAlexei Starovoitov1-5/+18
2024-04-29Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-102/+383
2024-04-26bpf: verifier: prevent userspace memory accessPuranjay Mohan1-0/+30
2024-04-24bpf: make common crypto API for TC/XDP programsVadim Fedorenko1-0/+1
2024-04-24bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi1-2/+69
2024-04-23bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires1-6/+54
2024-04-23bpf: add support for KF_ARG_PTR_TO_WORKQUEUEBenjamin Tissoires1-0/+65
2024-04-23bpf: verifier: bail out if the argument is not a mapBenjamin Tissoires1-0/+5
2024-04-23bpf: add support for bpf_wq user typeBenjamin Tissoires1-0/+9
2024-04-22bpf: Fix typos in commentsRafael Passos1-6/+6
2024-04-22bpf: Fix typo in function save_aux_ptr_typeRafael Passos1-3/+3
2024-04-16bpf: Harden and/or/xor value tracking in verifierHarishankar Vishwanathan1-54/+40
2024-04-12bpf: Fix a verifier verbose messageAnton Protopopov1-2/+1
2024-04-09bpf: Add support for certain atomics in bpf_arena to x86 JITAlexei Starovoitov1-1/+18
2024-04-05bpf: allow invoking bpf_for_each_map_elem with different mapsPhilo Lu1-5/+1
2024-04-05bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu1-20/+16
2024-04-05bpf: fix perf_snapshot_branch_stack link failureArnd Bergmann1-1/+2
2024-04-04bpf: prevent r10 register from being marked as preciseAndrii Nakryiko1-2/+4
2024-04-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+3
2024-04-04bpf: inline bpf_get_branch_snapshot() helperAndrii Nakryiko1-0/+55
2024-04-04bpf: Optimize emit_mov_imm64().Alexei Starovoitov1-3/+10
2024-04-03bpf: inline bpf_get_smp_processor_id() helperAndrii Nakryiko1-0/+24
2024-04-02bpf: Add a verbose message if map limit is reachedAnton Protopopov1-0/+2
2024-03-29bpf: fix possible file descriptor leaks in verifierAnton Protopopov1-0/+3
2024-03-28bpf: improve error message for unsupported helperMykyta Yatsenko1-2/+2
2024-03-28Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-3/+24
2024-03-27bpf: Protect against int overflow for stack access sizeAndrei Matei1-0/+5
2024-03-22bpf: verifier: reject addr_space_cast insn without arenaPuranjay Mohan1-0/+4
2024-03-22bpf: verifier: fix addr_space_cast from as(1) to as(0)Puranjay Mohan1-2/+6
2024-03-21bpf-next: Avoid goto in regs_refine_cond_op()Harishankar Vishwanathan1-9/+13
2024-03-14bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy1-2/+6
2024-03-14bpf: preserve sleepable bit in subprog infoAndrii Nakryiko1-0/+1
2024-03-14bpf: Temporarily disable atomic operations in BPF arenaPuranjay Mohan1-1/+9
2024-03-11Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-65/+301
2024-03-11bpf: move sleepable flag from bpf_prog_aux to bpf_progAndrii Nakryiko1-6/+6
2024-03-11bpf: Recognize btf_decl_tag("arg: Arena") as PTR_TO_ARENA.Alexei Starovoitov1-0/+15
2024-03-11bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov1-9/+98
2024-03-11bpf: Introduce bpf_arena.Alexei Starovoitov1-0/+1
2024-03-07bpf: Recognize '__map' suffix in kfunc argumentsAlexei Starovoitov1-0/+16
2024-03-07bpf: Allow kfuncs return 'void *'Alexei Starovoitov1-0/+3
2024-03-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+3
2024-03-06bpf: Recognize that two registers are safe when their ranges matchAlexei Starovoitov1-21/+30