summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2026-04-18bpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang1-1/+2
2026-04-18bpf: Fix regsafe() for pointers to packetAlexei Starovoitov1-1/+6
2026-04-18bpf: 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-07-17bpf: fix precision backtracking instruction iterationAndrii Nakryiko1-2/+19
2024-12-19bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman1-1/+4
2024-11-17bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel1-2/+2
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-16bpf: 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-27bpf: Fix ringbuf memory type confusion when passing to helpersDaniel Borkmann1-1/+5
2024-04-27bpf: Fix out of bounds access for ringbuf helpersDaniel Borkmann1-0/+6
2024-04-27bpf: Generally fix helper register offset checkDaniel Borkmann1-11/+28
2024-04-27bpf: Generalize check_ctx_reg for reuse with other typesDaniel Borkmann1-10/+11
2024-04-10bpf: Protect against int overflow for stack access sizeAndrei Matei1-0/+5
2024-03-01bpf: 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
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-10-19bpf: Fix verifier log for async callback return valuesDavid Vernet1-3/+3
2023-08-16bpf: aggressively forget precise markings during state checkpointingAndrii Nakryiko1-0/+37
2023-08-16bpf: stop setting precise in current stateAndrii Nakryiko1-12/+91
2023-08-16bpf: allow precision tracking for programs with subprogsAndrii Nakryiko1-1/+58
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-07-05bpf: ensure main program has an extableKrister Johansen1-2/+5
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-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: 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
2023-04-26bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann1-0/+15
2023-02-09bpf: Skip invalid kfunc call in backtrack_insnHao Sun1-0/+6
2023-02-09bpf: Do not reject when the stack read size is different from the tracked sca...Martin KaFai Lau1-12/+6
2023-02-09bpf: Fix incorrect state pruning for <8B spill/fillPaul Chaignon1-4/+0
2023-02-09bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman1-7/+18
2023-02-09bpf: Support <8-byte scalar spill and refillMartin KaFai Lau1-15/+52
2023-02-01bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst1-1/+3
2022-12-31bpf: Do not zero-extend kfunc return valuesBjörn Töpel1-0/+4
2022-12-31bpf: propagate precision across all frames, not just the last oneAndrii Nakryiko1-32/+39
2022-12-31bpf: Check the other end of slot_type for STACK_SPILLMartin KaFai Lau1-11/+19
2022-12-31bpf: propagate precision in ALU/ALU64 operationsAndrii Nakryiko1-0/+5
2022-12-31bpf: Fix slot type check in check_stack_write_var_offKumar Kartikeya Dwivedi1-8/+11