index
:
linux.git
arm64-uaccess
for-next
master
nocache-cleanup
vsnprintf
Linux kernel source tree
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
9 days
bpf: Check global subprog exception paths
Kumar Kartikeya Dwivedi
11 days
bpf: make bpf_session_is_return() reference optional
Arnd Bergmann
2026-04-16
bpf: Fix NULL deref in map_kptr_match_type for scalar regs
Mykyta Yatsenko
2026-04-16
bpf: Add helper to detect indirect jump targets
Xu Kuohai
2026-04-16
bpf: Pass bpf_verifier_env to JIT
Xu Kuohai
2026-04-12
bpf: Allow instructions with arena source and non-arena dest registers
Emil Tsalapatis
2026-04-12
bpf: add missing fsession to the verifier log
Menglong Dong
2026-04-12
bpf: Move BTF checking logic into check_btf.c
Alexei Starovoitov
2026-04-12
bpf: Move backtracking logic to backtrack.c
Alexei Starovoitov
2026-04-12
bpf: Move state equivalence logic to states.c
Alexei Starovoitov
2026-04-12
bpf: Move check_cfg() into cfg.c
Alexei Starovoitov
2026-04-12
bpf: Move compute_insn_live_regs() into liveness.c
Alexei Starovoitov
2026-04-12
bpf: Move fixup/post-processing logic from verifier.c into fixups.c
Alexei Starovoitov
2026-04-11
bpf: Simplify do_check_insn()
Alexei Starovoitov
2026-04-11
bpf: Move checks for reserved fields out of the main pass
Alexei Starovoitov
2026-04-10
bpf: Remove gfp_flags plumbing from bpf_local_storage_update()
Amery Hung
2026-04-10
bpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalars
Daniel Borkmann
2026-04-10
bpf: poison dead stack slots
Alexei Starovoitov
2026-04-10
bpf: simplify liveness to use (callsite, depth) keyed func_instances
Eduard Zingerman
2026-04-10
bpf: record arg tracking results in bpf_liveness masks
Eduard Zingerman
2026-04-10
bpf: introduce forward arg-tracking dataflow analysis
Eduard Zingerman
2026-04-10
bpf: 4-byte precise clean_verifier_state
Eduard Zingerman
2026-04-10
bpf: make liveness.c track stack with 4-byte granularity
Eduard Zingerman
2026-04-10
bpf: save subprogram name in bpf_subprog_info
Eduard Zingerman
2026-04-10
bpf: share several utility functions as internal API
Eduard Zingerman
2026-04-09
bpf: Drop pkt_end markers on arithmetic to prevent is_pkt_ptr_branch_taken
Daniel Borkmann
2026-04-08
bpf: Remove static qualifier from local subprog pointer
Daniel Borkmann
2026-04-08
bpf: Fix ld_{abs,ind} failure path analysis in subprogs
Daniel Borkmann
2026-04-08
bpf: Propagate error from visit_tailcall_insn
Daniel Borkmann
2026-04-07
bpf: Allow overwriting referenced dynptr when refcnt > 1
Amery Hung
2026-04-07
bpf: Clear delta when clearing reg id for non-{add,sub} ops
Daniel Borkmann
2026-04-07
bpf: Fix linked reg delta tracking when src_reg == dst_reg
Daniel Borkmann
2026-04-06
bpf: Do not ignore offsets for loads from insn_arrays
Anton Protopopov
2026-04-06
bpf: Support variable offsets for syscall PTR_TO_CTX
Kumar Kartikeya Dwivedi
2026-04-03
bpf: Add helper and kfunc stack access size resolution
Alexei Starovoitov
2026-04-03
bpf: Move verifier helpers to header
Alexei Starovoitov
2026-04-03
bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passes
Alexei Starovoitov
2026-04-03
bpf: Sort subprogs in topological order after check_cfg()
Alexei Starovoitov
2026-04-03
bpf: Do register range validation early
Alexei Starovoitov
2026-04-03
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.0-rc6+
Alexei Starovoitov
2026-04-02
bpf: Simulate branches to prune based on range violations
Harishankar Vishwanathan
2026-04-02
bpf: Exit early if reg_bounds_sync gets invalid inputs
Harishankar Vishwanathan
2026-04-02
bpf: Use bpf_verifier_env buffers for reg_set_min_max
Paul Chaignon
2026-04-02
bpf: Refactor reg_bounds_sanity_check
Harishankar Vishwanathan
2026-04-02
bpf: Fix incorrect pruning due to atomic fetch precision tracking
Daniel Borkmann
2026-04-02
bpf: reject direct access to nullable PTR_TO_BUF pointers
Qi Tang
2026-03-31
bpf: Fix regsafe() for pointers to packet
Alexei Starovoitov
2026-03-29
bpf: Support struct btf_struct_meta via KF_IMPLICIT_ARGS
Ihor Solodrai
2026-03-24
bpf: Fix variable length stack write over spilled pointers
Alexei Starovoitov
2026-03-24
bpf: update outdated comment for refactored btf_check_kfunc_arg_match()
Kexin Sun
[next]