summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2022-12-31bpf: Fix slot type check in check_stack_write_var_offKumar Kartikeya Dwivedi
2022-12-31bpf: Clobber stack slot when writing over spilled PTR_TO_BTF_IDKumar Kartikeya Dwivedi
2022-11-08bpf: Fix memory leaks in __check_func_callWang Yufen
2022-11-04bpf: Fix wrong reg type conversion in release_reference()Youlin Li
2022-11-01bpf, verifier: Fix memory leak in array reallocation for stack stateKees Cook
2022-10-24Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski