summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki2024-05-271-3/+7
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2024-05-141-70/+70
|\
| * riscv, bpf: inline bpf_get_smp_processor_id()Puranjay Mohan2024-05-131-0/+4
| * bpf/verifier: relax MUL range computation checkCupertino Miranda2024-05-071-5/+1
| * bpf/verifier: improve XOR and OR range computationCupertino Miranda2024-05-071-2/+2
| * bpf/verifier: refactor checks for range computationCupertino Miranda2024-05-071-64/+45
| * bpf/verifier: replace calls to mark_reg_unknown.Cupertino Miranda2024-05-071-5/+4
| * bpf: Add support for kprobe session cookieJiri Olsa2024-04-301-0/+7
| * bpf: Fix verifier assumptions about socket->skAlexei Starovoitov2024-04-291-5/+18
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2024-05-021-2/+31
|\ \ | |/ |/|
| * bpf: verifier: prevent userspace memory accessPuranjay Mohan2024-04-261-0/+30
| * bpf: Fix a verifier verbose messageAnton Protopopov2024-04-121-2/+1
* | Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2024-04-291-102/+383
|\ \
| * | bpf: make common crypto API for TC/XDP programsVadim Fedorenko2024-04-251-0/+1
| * | bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi2024-04-241-2/+69
| * | bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires2024-04-241-6/+54
| * | bpf: add support for KF_ARG_PTR_TO_WORKQUEUEBenjamin Tissoires2024-04-241-0/+65
| * | bpf: verifier: bail out if the argument is not a mapBenjamin Tissoires2024-04-241-0/+5
| * | bpf: add support for bpf_wq user typeBenjamin Tissoires2024-04-241-0/+9
| * | bpf: Fix typos in commentsRafael Passos2024-04-221-6/+6
| * | bpf: Fix typo in function save_aux_ptr_typeRafael Passos2024-04-221-3/+3
| * | bpf: Harden and/or/xor value tracking in verifierHarishankar Vishwanathan2024-04-161-54/+40
| * | bpf: Add support for certain atomics in bpf_arena to x86 JITAlexei Starovoitov2024-04-091-1/+18
| * | bpf: allow invoking bpf_for_each_map_elem with different mapsPhilo Lu2024-04-051-5/+1
| * | bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu2024-04-051-20/+16
| * | bpf: fix perf_snapshot_branch_stack link failureArnd Bergmann2024-04-051-1/+2
| * | bpf: prevent r10 register from being marked as preciseAndrii Nakryiko2024-04-051-2/+4
| * | bpf: inline bpf_get_branch_snapshot() helperAndrii Nakryiko2024-04-041-0/+55
| * | bpf: Optimize emit_mov_imm64().Alexei Starovoitov2024-04-041-3/+10
| * | bpf: inline bpf_get_smp_processor_id() helperAndrii Nakryiko2024-04-031-0/+24
| * | bpf: Add a verbose message if map limit is reachedAnton Protopopov2024-04-021-0/+2
| * | bpf: improve error message for unsupported helperMykyta Yatsenko2024-03-291-2/+2
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2024-04-051-0/+3
|\ \ \ | |/ / |/| / | |/
| * bpf: fix possible file descriptor leaks in verifierAnton Protopopov2024-03-291-0/+3
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2024-03-291-3/+24
|\|
| * bpf: Protect against int overflow for stack access sizeAndrei Matei2024-03-271-0/+5
| * bpf: verifier: reject addr_space_cast insn without arenaPuranjay Mohan2024-03-231-0/+4
| * bpf: verifier: fix addr_space_cast from as(1) to as(0)Puranjay Mohan2024-03-231-2/+6
| * bpf: Temporarily disable atomic operations in BPF arenaPuranjay Mohan2024-03-141-1/+9
* | bpf-next: Avoid goto in regs_refine_cond_op()Harishankar Vishwanathan2024-03-211-9/+13
* | bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy2024-03-151-2/+6
* | bpf: preserve sleepable bit in subprog infoAndrii Nakryiko2024-03-151-0/+1
|/
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2024-03-121-65/+301
|\
| * bpf: move sleepable flag from bpf_prog_aux to bpf_progAndrii Nakryiko2024-03-121-6/+6
| * bpf: Recognize btf_decl_tag("arg: Arena") as PTR_TO_ARENA.Alexei Starovoitov2024-03-111-0/+15
| * bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov2024-03-111-9/+98
| * bpf: Introduce bpf_arena.Alexei Starovoitov2024-03-111-0/+1
| * bpf: Recognize '__map' suffix in kfunc argumentsAlexei Starovoitov2024-03-071-0/+16
| * bpf: Allow kfuncs return 'void *'Alexei Starovoitov2024-03-071-0/+3
| * bpf: Recognize that two registers are safe when their ranges matchAlexei Starovoitov2024-03-071-21/+30