index
:
linux/linux-stable.git
linux-2.6.11.y
linux-2.6.12.y
linux-2.6.13.y
linux-2.6.14.y
linux-2.6.15.y
linux-2.6.16.y
linux-2.6.17.y
linux-2.6.18.y
linux-2.6.19.y
linux-2.6.20.y
linux-2.6.21.y
linux-2.6.22.y
linux-2.6.23.y
linux-2.6.24.y
linux-2.6.25.y
linux-2.6.26.y
linux-2.6.27.y
linux-2.6.28.y
linux-2.6.29.y
linux-2.6.30.y
linux-2.6.31.y
linux-2.6.32.y
linux-2.6.33.y
linux-2.6.34.y
linux-2.6.35.y
linux-2.6.36.y
linux-2.6.37.y
linux-2.6.38.y
linux-2.6.39.y
linux-3.0.y
linux-3.1.y
linux-3.10.y
linux-3.11.y
linux-3.12.y
linux-3.13.y
linux-3.14.y
linux-3.15.y
linux-3.16.y
linux-3.17.y
linux-3.18.y
linux-3.19.y
linux-3.2.y
linux-3.3.y
linux-3.4.y
linux-3.5.y
linux-3.6.y
linux-3.7.y
linux-3.8.y
linux-3.9.y
linux-4.0.y
linux-4.1.y
linux-4.10.y
linux-4.11.y
linux-4.12.y
linux-4.13.y
linux-4.14.y
linux-4.15.y
linux-4.16.y
linux-4.17.y
linux-4.18.y
linux-4.19.y
linux-4.2.y
linux-4.20.y
linux-4.3.y
linux-4.4.y
linux-4.5.y
linux-4.6.y
linux-4.7.y
linux-4.8.y
linux-4.9.y
linux-5.0.y
linux-5.1.y
linux-5.10.y
linux-5.11.y
linux-5.12.y
linux-5.13.y
linux-5.14.y
linux-5.15.y
linux-5.16.y
linux-5.17.y
linux-5.18.y
linux-5.19.y
linux-5.2.y
linux-5.3.y
linux-5.4.y
linux-5.5.y
linux-5.6.y
linux-5.7.y
linux-5.8.y
linux-5.9.y
linux-6.0.y
linux-6.1.y
linux-6.10.y
linux-6.11.y
linux-6.12.y
linux-6.13.y
linux-6.14.y
linux-6.15.y
linux-6.16.y
linux-6.2.y
linux-6.3.y
linux-6.4.y
linux-6.5.y
linux-6.6.y
linux-6.7.y
linux-6.8.y
linux-6.9.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree
kernel.org maintainers
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
bpf
/
verifier.c
Age
Commit message (
Expand
)
Author
2023-11-09
bpf: generalize is_branch_taken to handle all conditional jumps in one place
Andrii Nakryiko
2023-11-09
bpf: move is_branch_taken() down
Andrii Nakryiko
2023-11-09
bpf: generalize is_branch_taken() to work with two registers
Andrii Nakryiko
2023-11-09
bpf: rename is_branch_taken reg arguments to prepare for the second one
Andrii Nakryiko
2023-11-09
bpf: drop knowledge-losing __reg_combine_{32,64}_into_{64,32} logic
Andrii Nakryiko
2023-11-09
bpf: try harder to deduce register bounds from different numeric domains
Andrii Nakryiko
2023-11-09
bpf: improve deduction of 64-bit bounds from 32-bit bounds
Andrii Nakryiko
2023-11-09
bpf: add special smin32/smax32 derivation from 64-bit bounds
Andrii Nakryiko
2023-11-09
bpf: derive subreg bounds from full bounds when upper 32 bits are constant
Andrii Nakryiko
2023-11-09
bpf: derive smin32/smax32 from umin32/umax32 bounds
Andrii Nakryiko
2023-11-09
bpf: derive smin/smax from umin/max bounds
Andrii Nakryiko
2023-11-01
bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_END
Shung-Hsi Yu
2023-11-01
bpf: Relax allowlist for css_task iter
Chuyi Zhou
2023-11-01
bpf: Fix check_stack_write_fixed_off() to correctly spill imm
Hao Sun
2023-11-01
bpf: fix compilation error without CGROUPS
Matthieu Baerts
2023-10-24
bpf: Improve JEQ/JNE branch taken logic
Andrii Nakryiko
2023-10-23
bpf: print full verifier states on infinite loop detection
Eduard Zingerman
2023-10-23
bpf: correct loop detection for iterators convergence
Eduard Zingerman
2023-10-23
bpf: exact states comparison for iterator convergence checks
Eduard Zingerman
2023-10-23
bpf: extract same_callsites() as utility function
Eduard Zingerman
2023-10-23
bpf: move explored_state() closer to the beginning of verifier.c
Eduard Zingerman
2023-10-19
bpf: Let bpf_iter_task_new accept null task ptr
Chuyi Zhou
2023-10-19
bpf: teach the verifier to enforce css_iter and task_iter in RCU CS
Chuyi Zhou
2023-10-19
bpf: Introduce css_task open-coded iterator kfuncs
Chuyi Zhou
2023-10-16
Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...
Jakub Kicinski
2023-10-16
bpf: Ensure proper register state printing for cond jumps
Andrii Nakryiko
2023-10-16
bpf: Disambiguate SCALAR register state output in verifier logs
Andrii Nakryiko
2023-10-12
Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net
Jakub Kicinski
2023-10-11
bpf: Implement cgroup sockaddr hooks for unix sockets
Daan De Meyer
2023-10-09
bpf: Fix verifier log for async callback return values
David Vernet
2023-10-05
Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net
Jakub Kicinski
2023-09-21
bpf: Disable zero-extension for BPF_MEMSX
Ilya Leoshkevich
2023-09-20
bpf: unconditionally reset backtrack_state masks on global func exit
Andrii Nakryiko
2023-09-19
bpf: Remove unused variables.
Alexei Starovoitov
2023-09-16
bpf: Fix kfunc callback register type handling
Kumar Kartikeya Dwivedi
2023-09-16
bpf: Disallow fentry/fexit/freplace for exception callbacks
Kumar Kartikeya Dwivedi
2023-09-16
bpf: Treat first argument as return value for bpf_throw
Kumar Kartikeya Dwivedi
2023-09-16
bpf: Perform CFG walk for exception callback
Kumar Kartikeya Dwivedi
2023-09-16
bpf: Add support for custom exception callbacks
Kumar Kartikeya Dwivedi
2023-09-16
bpf: Refactor check_btf_func and split into two phases
Kumar Kartikeya Dwivedi
2023-09-16
bpf: Implement BPF exceptions
Kumar Kartikeya Dwivedi
2023-09-16
bpf: Implement support for adding hidden subprogs
Kumar Kartikeya Dwivedi
2023-09-12
bpf, x64: Fix tailcall infinite loop
Leon Hwang
2023-09-08
bpf: Mark OBJ_RELEASE argument as MEM_RCU when possible
Yonghong Song
2023-09-08
bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu obj
Yonghong Song
2023-09-08
bpf: Add alloc/xchg/direct_access support for local percpu kptr
Yonghong Song
2023-08-25
bpf: Allow bpf_spin_{lock,unlock} in sleepable progs
Dave Marchevsky
2023-08-25
bpf: Consider non-owning refs to refcounted nodes RCU protected
Dave Marchevsky
2023-08-25
bpf: Reenable bpf_refcount_acquire
Dave Marchevsky
2023-08-25
bpf: Ensure kptr_struct_meta is non-NULL for collection insert and refcount_a...
Dave Marchevsky
[prev]
[next]