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-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
2023-02-13
bpf: Migrate release_on_unlock logic to non-owning ref semantics
Dave Marchevsky
2023-01-20
bpf: Invalidate slices on destruction of dynptrs on stack
Kumar Kartikeya Dwivedi
2022-12-27
bpf: reorganize struct bpf_reg_state fields
Andrii Nakryiko
2022-12-10
bpf: states_equal() must build idmap for all function frames
Eduard Zingerman
2022-12-08
bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_func
Kumar Kartikeya Dwivedi
2022-12-06
bpf: decouple prune and jump points
Andrii Nakryiko
2022-12-04
bpf: Handle MEM_RCU type properly
Yonghong Song
[next]