summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2022-07-12bpf: Fix incorrect verifier simulation around jmp32's jeq/jneDaniel Borkmann
2022-06-06bpf: Check PTR_TO_MEM | MEM_RDONLY in check_helper_mem_accessKumar Kartikeya Dwivedi
2022-06-06bpf: Reject writes for PTR_TO_MAP_KEY in check_helper_mem_accessKumar Kartikeya Dwivedi
2022-05-01bpf: Add MEM_RDONLY for helper args that are pointers to rdonly mem.Hao Luo
2022-05-01bpf: Make per_cpu_ptr return rdonly PTR_TO_MEM.Hao Luo
2022-05-01bpf: Convert PTR_TO_MEM_OR_NULL to composable types.Hao Luo
2022-05-01bpf: Introduce MEM_RDONLY flagHao Luo
2022-05-01bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULLHao Luo
2022-05-01bpf: Replace RET_XXX_OR_NULL with RET_XXX | PTR_MAYBE_NULLHao Luo