index
:
linux.git
kangrejos
master
mm/krealloc
rust/mm
dakr's fork of kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
linux
/
bpf_verifier.h
Age
Commit message (
Expand
)
Author
2024-07-12
bpf: Fix null pointer dereference in resolve_prog_type() for BPF_PROG_TYPE_EXT
Tengda Wu
2024-07-09
Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...
Paolo Abeni
2024-06-14
bpf: Track delta between "linked" registers.
Alexei Starovoitov
2024-06-13
bpf: Fix reg_set_min_max corruption of fake_reg
Daniel Borkmann
2024-04-24
bpf: Introduce bpf_preempt_[disable,enable] kfuncs
Kumar Kartikeya Dwivedi
2024-04-23
bpf: wq: add bpf_wq_set_callback_impl
Benjamin Tissoires
2024-04-05
bpf: store both map ptr and state in bpf_insn_aux_data
Philo Lu
2024-03-11
bpf: Recognize addr_space_cast instruction in the verifier.
Alexei Starovoitov
2024-03-06
bpf: Introduce may_goto instruction
Alexei Starovoitov
2024-02-02
bpf: Preserve boundaries and track scalars on narrowing fill
Maxim Mikityanskiy
2024-01-30
bpf: add __arg_trusted global func arg tag
Andrii Nakryiko
2024-01-23
bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.
Kui-Feng Lee
2024-01-23
bpf: Make bpf_for_each_spilled_reg consider narrow spills
Maxim Mikityanskiy
2023-12-19
bpf: move subprog call logic back to verifier.c
Andrii Nakryiko
2023-12-19
bpf: prepare btf_prepare_func_args() for handling static subprogs
Andrii Nakryiko
2023-12-19
bpf: abstract away global subprog arg preparation logic from reg state setup
Andrii Nakryiko
2023-12-11
bpf: use bitfields for simple per-subprog bool flags
Andrii Nakryiko
2023-12-08
bpf: Add some comments to stack representation
Andrei Matei
2023-12-05
bpf: support non-r10 register spill/fill to/from stack in precision tracking
Andrii Nakryiko
2023-12-02
bpf: enforce exact retval range on subprog/callback exit
Andrii Nakryiko
2023-12-02
bpf: rearrange bpf_func_state fields to save a bit of memory
Andrii Nakryiko
2023-11-23
Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net
Jakub Kicinski
2023-11-20
bpf: keep track of max number of bpf_loop callback iterations
Eduard Zingerman
2023-11-20
bpf: verify callbacks as if they are called unknown number of times
Eduard Zingerman
2023-11-18
bpf: move verifier state printing code to kernel/bpf/log.c
Andrii Nakryiko
2023-11-18
bpf: move verbose_linfo() into kernel/bpf/log.c
Andrii Nakryiko
2023-11-17
bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTS
Andrii Nakryiko
2023-11-15
bpf: add register bounds sanity checks and sanitization
Andrii Nakryiko
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-19
bpf: teach the verifier to enforce css_iter and task_iter in RCU CS
Chuyi Zhou
2023-09-16
bpf: Add support for custom exception callbacks
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-08
bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu obj
Yonghong Song
2023-08-25
bpf: Consider non-owning refs trusted
Dave Marchevsky
2023-06-13
bpf: Verify scalar ids mapping in regsafe() using check_ids()
Eduard Zingerman
2023-06-13
bpf: Use scalar ids in mark_chain_precision()
Eduard Zingerman
2023-05-04
bpf: improve precision backtrack logging
Andrii Nakryiko
2023-05-04
bpf: encapsulate precision backtracking bookkeeping
Andrii Nakryiko
2023-04-15
bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly fail
Dave Marchevsky
2023-04-11
bpf: Simplify internal verifier log interface
Andrii Nakryiko
2023-04-11
bpf: Keep track of total log content size in both fixed and rolling modes
Andrii Nakryiko
2023-04-11
bpf: Switch BPF verifier log to be a rotating log by default
Andrii Nakryiko
2023-04-11
bpf: Split off basic BPF verifier log into separate file
Andrii Nakryiko
2023-03-10
bpf: ensure state checkpointing at iter_next() call sites
Andrii Nakryiko
2023-03-08
bpf: add support for open-coded iterator loops
Andrii Nakryiko
2023-03-08
bpf: add iterator kfuncs registration and validation logic
Andrii Nakryiko
2023-03-03
bpf: Refactor RCU enforcement in the verifier.
Alexei Starovoitov
2023-03-01
bpf: Refactor process_dynptr_func
Joanne Koong
[next]