summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
3 daysbpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang1-1/+2
3 daysbpf: Fix regsafe() for pointers to packetAlexei Starovoitov1-1/+6
2026-03-25bpf: Forget ranges when refining tnum after JSETPaul Chaignon1-0/+4
2026-03-04bpf: verifier improvement in 32bit shift sign extension patternCupertino Miranda1-11/+7
2025-10-02bpf: Reject bpf_timer for PREEMPT_RTLeon Hwang1-0/+4
2025-01-17bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann1-40/+36
2024-12-19bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman1-1/+4
2024-12-14bpf: Fix helper writes to read-only mapsDaniel Borkmann1-36/+5
2024-11-17bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel1-2/+2
2024-11-01bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen1-1/+7
2024-10-17bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann1-5/+11
2024-08-29bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko1-69/+0
2024-07-18bpf: Allow reads from uninit stackEduard Zingerman1-1/+10
2024-07-05bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy1-2/+6
2024-06-12bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki1-3/+7
2024-05-17bpf: Fix a verifier verbose messageAnton Protopopov1-2/+1
2024-04-10bpf: Protect against int overflow for stack access sizeAndrei Matei1-0/+5
2024-02-23bpf: Add struct for bin_args arg in bpf_bprintf_prepareJiri Olsa1-1/+2
2024-01-25bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun1-0/+4
2024-01-25bpf: Fix verification of indirect var-off stack accessAndrei Matei1-10/+4
2024-01-25bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko1-1/+1
2024-01-25bpf: enforce precision of R0 on callback returnAndrii Nakryiko1-0/+7
2024-01-10bpf: fix precision backtracking instruction iterationAndrii Nakryiko1-2/+19
2024-01-10bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko1-7/+20
2024-01-10bpf: Support new 32bit offset jmp instructionYonghong Song1-10/+22
2024-01-10bpf: clean up visit_insn()'s instruction processingAndrii Nakryiko1-13/+12
2024-01-10bpf: Remove unused insn_cnt argument from visit_[func_call_]insn()Andrii Nakryiko1-6/+5
2024-01-10bpf: remove unnecessary prune and jump pointsAndrii Nakryiko1-24/+10
2024-01-10bpf: decouple prune and jump pointsAndrii Nakryiko1-14/+43
2024-01-10bpf, x64: Fix tailcall infinite loopLeon Hwang1-0/+3
2023-11-28bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu1-1/+6
2023-11-28bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun1-1/+1
2023-11-28bpf: Ensure proper register state printing for cond jumpsAndrii Nakryiko1-1/+6
2023-10-19bpf: Fix verifier log for async callback return valuesDavid Vernet1-3/+3
2023-09-13bpf: Fix issue in verifying allow_ptr_leaksYafang Shao1-8/+9
2023-07-27bpf: aggressively forget precise markings during state checkpointingAndrii Nakryiko1-0/+37
2023-07-27bpf: stop setting precise in current stateAndrii Nakryiko1-12/+91
2023-07-27bpf: allow precision tracking for programs with subprogsAndrii Nakryiko1-1/+61
2023-07-27bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi1-2/+19
2023-07-27bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi1-5/+6
2023-07-23bpf: Fix max stack depth check for async callbacksKumar Kartikeya Dwivedi1-2/+3
2023-06-28bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy1-0/+3
2023-06-28bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman1-2/+16
2023-06-28bpf: ensure main program has an extableKrister Johansen1-2/+5
2023-05-30bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon1-1/+1
2023-05-24bpf: Add preempt_count_{sub,add} into btf id deny listYafang1-0/+4
2023-05-11bpf: Fix __reg_bound_offset 64->32 var_off subreg propagationDaniel Borkmann1-3/+3
2023-05-11bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst1-10/+6
2023-05-11bpf: fix precision propagation verbose loggingAndrii Nakryiko1-2/+2
2023-05-11bpf: take into account liveness when propagating precisionAndrii Nakryiko1-2/+4