summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-07-05bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy
2024-06-16bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki
2024-05-17bpf: Fix a verifier verbose messageAnton Protopopov
2024-04-27bpf: Fix ringbuf memory type confusion when passing to helpersDaniel Borkmann
2024-04-27bpf: Fix out of bounds access for ringbuf helpersDaniel Borkmann
2024-04-27bpf: Generally fix helper register offset checkDaniel Borkmann
2024-04-27bpf: Generalize check_ctx_reg for reuse with other typesDaniel Borkmann
2024-04-10bpf: Protect against int overflow for stack access sizeAndrei Matei
2024-03-01bpf: 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
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-10-19bpf: Fix verifier log for async callback return valuesDavid Vernet
2023-08-16bpf: aggressively forget precise markings during state checkpointingAndrii Nakryiko
2023-08-16bpf: stop setting precise in current stateAndrii Nakryiko
2023-08-16bpf: allow precision tracking for programs with subprogsAndrii Nakryiko
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-07-05bpf: ensure main program has an extableKrister Johansen
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-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: 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: Do not reject when the stack read size is different from the tracked sca...Martin KaFai Lau
2023-02-09bpf: Fix incorrect state pruning for <8B spill/fillPaul Chaignon
2023-02-09bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman
2023-02-09bpf: Support <8-byte scalar spill and refillMartin KaFai Lau
2023-02-01bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst
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: Check the other end of slot_type for STACK_SPILLMartin KaFai Lau
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-11-26bpf: Fix memory leaks in __check_func_callWang Yufen
2022-11-16bpf: Fix wrong reg type conversion in release_reference()Youlin Li
2022-11-16bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi
2022-11-16bpf, verifier: Fix memory leak in array reallocation for stack stateKees Cook
2022-10-26bpf: Fix reference state management for synchronous callbacksKumar Kartikeya Dwivedi
2022-08-31bpf: Don't use tnum_range on array range checking for poke descriptorsDaniel Borkmann
2022-08-17bpf: Fix subprog names in stack traces.Alexei Starovoitov
2022-07-12bpf: Stop caching subprog index in the bpf_pseudo_func insnMartin KaFai Lau
2022-07-12bpf: Fix insufficient bounds propagation from adjust_scalar_min_max_valsDaniel Borkmann