summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2022-05-01bpf: Replace ARG_XXX_OR_NULL with ARG_XXX | PTR_MAYBE_NULLHao Luo
2022-01-27bpf: Mark PTR_TO_FUNC register initially with zero offsetDaniel Borkmann
2022-01-27bpf: Fix verifier support for validation of async callbacksKris Van Hees
2022-01-27bpf: Don't promote bogus looking registers after null check.Daniel Borkmann
2022-01-27bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)Hou Tao
2022-01-16bpf: Fix out of bounds access from invalid *_or_null type verificationDaniel Borkmann
2021-12-22bpf: Fix kernel address leakage in atomic cmpxchg's r0 aux regDaniel Borkmann
2021-12-22bpf: Make 32->64 bounds propagation slightly more robustDaniel Borkmann
2021-12-22bpf: Fix signed bounds propagation after mov32Daniel Borkmann
2021-12-22bpf: Fix kernel address leakage in atomic fetchDaniel Borkmann
2021-12-14bpf: Fix the off-by-two error in range markingsMaxim Mikityanskiy
2021-11-25bpf: Forbid bpf_ktime_get_coarse_ns and bpf_timer_* in tracing progsDmitrii Banshchikov
2021-11-25bpf: Fix toctou on read-only map's constant scalar trackingDaniel Borkmann
2021-11-25bpf: Fix inner map state pruning regression.Alexei Starovoitov
2021-11-18bpf: Fix propagation of signed bounds from 64-bit min/max into 32-bit.Alexei Starovoitov
2021-11-18bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.Alexei Starovoitov
2021-09-13bpf: Add oversize check before call kvcalloc()Bixuan Cui
2021-08-30Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2021-08-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2021-08-24bpf: Fix possible out of bound write in narrow load handlingAndrey Ignatov
2021-08-23bpf: Fix ringbuf helper function compatibilityDaniel Borkmann