summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-11-01bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen
2024-10-17bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann
2024-08-29bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko
2024-07-18bpf: Allow reads from uninit stackEduard Zingerman
2024-07-05bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy
2024-06-12bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki
2024-05-17bpf: Fix a verifier verbose messageAnton Protopopov
2024-04-10bpf: Protect against int overflow for stack access sizeAndrei Matei
2024-02-23bpf: Add struct for bin_args arg in bpf_bprintf_prepareJiri Olsa
2024-01-25bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun
2024-01-25bpf: Fix verification of indirect var-off stack accessAndrei Matei
2024-01-25bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko
2024-01-25bpf: enforce precision of R0 on callback returnAndrii Nakryiko
2024-01-10bpf: fix precision backtracking instruction iterationAndrii Nakryiko
2024-01-10bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko
2024-01-10bpf: Support new 32bit offset jmp instructionYonghong Song
2024-01-10bpf: clean up visit_insn()'s instruction processingAndrii Nakryiko
2024-01-10bpf: Remove unused insn_cnt argument from visit_[func_call_]insn()Andrii Nakryiko
2024-01-10bpf: remove unnecessary prune and jump pointsAndrii Nakryiko
2024-01-10bpf: decouple prune and jump pointsAndrii Nakryiko
2024-01-10bpf, x64: Fix tailcall infinite loopLeon Hwang
2023-11-28bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu
2023-11-28bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun
2023-11-28bpf: Ensure proper register state printing for cond jumpsAndrii Nakryiko
2023-10-19bpf: Fix verifier log for async callback return valuesDavid Vernet
2023-09-13bpf: Fix issue in verifying allow_ptr_leaksYafang Shao
2023-07-27bpf: aggressively forget precise markings during state checkpointingAndrii Nakryiko
2023-07-27bpf: stop setting precise in current stateAndrii Nakryiko
2023-07-27bpf: allow precision tracking for programs with subprogsAndrii Nakryiko
2023-07-27bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi
2023-07-27bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi
2023-07-23bpf: Fix max stack depth check for async callbacksKumar Kartikeya Dwivedi
2023-06-28bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy
2023-06-28bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman
2023-06-28bpf: ensure main program has an extableKrister Johansen
2023-05-30bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon
2023-05-24bpf: Add preempt_count_{sub,add} into btf id deny listYafang
2023-05-11bpf: Fix __reg_bound_offset 64->32 var_off subreg propagationDaniel Borkmann
2023-05-11bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst
2023-05-11bpf: fix precision propagation verbose loggingAndrii Nakryiko
2023-05-11bpf: take into account liveness when propagating precisionAndrii Nakryiko
2023-04-26bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann
2023-02-09bpf: Skip invalid kfunc call in backtrack_insnHao Sun
2023-02-09bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman
2023-02-01bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst
2023-01-12bpf: Always use maximal size for copy_array()Kees Cook
2022-12-31bpf/verifier: Use kmalloc_size_roundup() to match ksize() usageKees Cook
2022-12-31bpf: Do not zero-extend kfunc return valuesBjörn Töpel
2022-12-31bpf: propagate precision across all frames, not just the last oneAndrii Nakryiko
2022-12-31bpf: propagate precision in ALU/ALU64 operationsAndrii Nakryiko