index
:
linux.git
dev
master
v4.9.13
Unnamed repository; edit this file 'description' to name the repository.
Lucas Castro
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
2023-11-28
bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_END
Shung-Hsi Yu
2023-11-28
bpf: Fix check_stack_write_fixed_off() to correctly spill imm
Hao Sun
2023-10-19
bpf: Fix verifier log for async callback return values
David Vernet
2023-08-16
bpf: aggressively forget precise markings during state checkpointing
Andrii Nakryiko
2023-08-16
bpf: stop setting precise in current state
Andrii Nakryiko
2023-08-16
bpf: allow precision tracking for programs with subprogs
Andrii Nakryiko
2023-07-27
bpf: Fix subprog idx logic in check_max_stack_depth
Kumar Kartikeya Dwivedi
2023-07-23
bpf: Fix max stack depth check for async callbacks
Kumar Kartikeya Dwivedi
2023-07-05
bpf: ensure main program has an extable
Krister Johansen
2023-06-28
bpf: Fix verifier id tracking of scalars on spill
Maxim Mikityanskiy
2023-06-28
bpf: track immediate values written to stack by BPF_ST instruction
Eduard Zingerman
2023-05-30
bpf: Fix mask generation for 32-bit narrow loads of 64-bit fields
Will Deacon
2023-05-24
bpf: Add preempt_count_{sub,add} into btf id deny list
Yafang
2023-05-11
bpf: Remove misleading spec_v1 check on var-offset stack read
Luis Gerhorst
2023-05-11
bpf: fix precision propagation verbose logging
Andrii Nakryiko
2023-05-11
bpf: take into account liveness when propagating precision
Andrii Nakryiko
2023-04-26
bpf: Fix incorrect verifier pruning due to missing register precision taints
Daniel Borkmann
2023-02-09
bpf: Skip invalid kfunc call in backtrack_insn
Hao Sun
2023-02-09
bpf: Do not reject when the stack read size is different from the tracked sca...
Martin KaFai Lau
2023-02-09
bpf: Fix incorrect state pruning for <8B spill/fill
Paul Chaignon
2023-02-09
bpf: Fix to preserve reg parent/live fields when copying range info
Eduard Zingerman
2023-02-09
bpf: Support <8-byte scalar spill and refill
Martin KaFai Lau
2023-02-01
bpf: Fix pointer-leak due to insufficient speculative store bypass mitigation
Luis Gerhorst
2022-12-31
bpf: Do not zero-extend kfunc return values
Björn Töpel
2022-12-31
bpf: propagate precision across all frames, not just the last one
Andrii Nakryiko
2022-12-31
bpf: Check the other end of slot_type for STACK_SPILL
Martin KaFai Lau
2022-12-31
bpf: propagate precision in ALU/ALU64 operations
Andrii Nakryiko
2022-12-31
bpf: Fix slot type check in check_stack_write_var_off
Kumar Kartikeya Dwivedi
2022-11-26
bpf: Fix memory leaks in __check_func_call
Wang Yufen
2022-11-16
bpf: Fix wrong reg type conversion in release_reference()
Youlin Li
2022-11-16
bpf: Add helper macro bpf_for_each_reg_in_vstate
Kumar Kartikeya Dwivedi
2022-11-16
bpf, verifier: Fix memory leak in array reallocation for stack state
Kees Cook
2022-10-26
bpf: Fix reference state management for synchronous callbacks
Kumar Kartikeya Dwivedi
2022-08-31
bpf: Don't use tnum_range on array range checking for poke descriptors
Daniel Borkmann
2022-08-17
bpf: Fix subprog names in stack traces.
Alexei Starovoitov
2022-07-12
bpf: Stop caching subprog index in the bpf_pseudo_func insn
Martin KaFai Lau
2022-07-12
bpf: Fix insufficient bounds propagation from adjust_scalar_min_max_vals
Daniel Borkmann
2022-07-12
bpf: Fix incorrect verifier simulation around jmp32's jeq/jne
Daniel Borkmann
2022-06-06
bpf: Check PTR_TO_MEM | MEM_RDONLY in check_helper_mem_access
Kumar Kartikeya Dwivedi
2022-06-06
bpf: Reject writes for PTR_TO_MAP_KEY in check_helper_mem_access
Kumar Kartikeya Dwivedi
2022-05-01
bpf: Add MEM_RDONLY for helper args that are pointers to rdonly mem.
Hao Luo
2022-05-01
bpf: Make per_cpu_ptr return rdonly PTR_TO_MEM.
Hao Luo
2022-05-01
bpf: Convert PTR_TO_MEM_OR_NULL to composable types.
Hao Luo
2022-05-01
bpf: Introduce MEM_RDONLY flag
Hao Luo
2022-05-01
bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULL
Hao Luo
2022-05-01
bpf: Replace RET_XXX_OR_NULL with RET_XXX | PTR_MAYBE_NULL
Hao Luo
2022-05-01
bpf: Replace ARG_XXX_OR_NULL with ARG_XXX | PTR_MAYBE_NULL
Hao Luo
2022-01-27
bpf: Mark PTR_TO_FUNC register initially with zero offset
Daniel Borkmann
2022-01-27
bpf: Fix verifier support for validation of async callbacks
Kris Van Hees
2022-01-27
bpf: Don't promote bogus looking registers after null check.
Daniel Borkmann
[next]