summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly failDave Marchevsky2023-04-151-1/+6
* bpf: Simplify internal verifier log interfaceAndrii Nakryiko2023-04-111-10/+3
* bpf: Keep track of total log content size in both fixed and rolling modesAndrii Nakryiko2023-04-111-9/+3
* bpf: Switch BPF verifier log to be a rotating log by defaultAndrii Nakryiko2023-04-111-7/+26
* bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko2023-04-111-12/+7
* bpf: ensure state checkpointing at iter_next() call sitesAndrii Nakryiko2023-03-101-1/+5
* bpf: add support for open-coded iterator loopsAndrii Nakryiko2023-03-081-0/+23
* bpf: add iterator kfuncs registration and validation logicAndrii Nakryiko2023-03-081-0/+2
* bpf: Refactor RCU enforcement in the verifier.Alexei Starovoitov2023-03-031-1/+0
* bpf: Refactor process_dynptr_funcJoanne Koong2023-03-011-3/+0
* bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky2023-02-131-20/+18
* bpf: Invalidate slices on destruction of dynptrs on stackKumar Kartikeya Dwivedi2023-01-201-1/+4
* bpf: reorganize struct bpf_reg_state fieldsAndrii Nakryiko2022-12-271-20/+20
* bpf: states_equal() must build idmap for all function framesEduard Zingerman2022-12-101-2/+2
* bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_funcKumar Kartikeya Dwivedi2022-12-081-5/+3
* bpf: decouple prune and jump pointsAndrii Nakryiko2022-12-061-0/+1
* bpf: Handle MEM_RCU type properlyYonghong Song2022-12-041-1/+1
* bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov2022-11-301-1/+0
* bpf: Add kfunc bpf_rcu_read_lock/unlock()Yonghong Song2022-11-241-1/+4
* bpf: Allow trusted pointers to be passed to KF_TRUSTED_ARGS kfuncsDavid Vernet2022-11-201-0/+7
* bpf: Allow multiple modifiers in reg_type_str() prefixDavid Vernet2022-11-201-1/+1
* bpf: Add 'release on unlock' logic for bpf_list_push_{front,back}Kumar Kartikeya Dwivedi2022-11-171-0/+5
* bpf: Introduce bpf_obj_newKumar Kartikeya Dwivedi2022-11-171-0/+2
* bpf: Rewrite kfunc argument handlingKumar Kartikeya Dwivedi2022-11-171-2/+0
* bpf: Allow locking bpf_spin_lock global variablesKumar Kartikeya Dwivedi2022-11-171-1/+15
* bpf: Remove prog->active check for bpf_lsm and bpf_iterMartin KaFai Lau2022-10-251-1/+14
* btf: Allow dynamic pointer parameters in kfuncsRoberto Sassu2022-09-211-0/+5
* bpf: Add verifier support for custom callback return rangeDave Marchevsky2022-09-101-0/+1
* bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi2022-09-071-0/+21
* bpf/verifier: allow kfunc to return an allocated memBenjamin Tissoires2022-09-071-0/+2
* bpf: Fix reference state management for synchronous callbacksKumar Kartikeya Dwivedi2022-08-241-0/+11
* bpf: Fix 'dubious one-bit signed bitfield' warningsMatthieu Baerts2022-07-111-4/+4
* bpf: Inline calls to bpf_loop when callback is knownEduard Zingerman2022-06-201-0/+12
* bpf: Fix spelling in bpf_verifier.hHongyi Lu2022-06-141-1/+1
* bpf: Dynptr support for ring buffersJoanne Koong2022-05-231-0/+2
* bpf: Add verifier support for dynptrsJoanne Koong2022-05-231-0/+18
* bpf: Tag argument to be released in bpf_func_protoKumar Kartikeya Dwivedi2022-04-251-2/+1
* bpf: Resolve to prog->aux->dst_prog->type only for BPF_PROG_TYPE_EXTMartin KaFai Lau2022-03-301-1/+3
* bpf: Harden register offset checks for release helpers and kfuncsKumar Kartikeya Dwivedi2022-03-051-1/+2
* bpf: Add check_func_arg_reg_off functionKumar Kartikeya Dwivedi2022-03-051-0/+3
* Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2022-01-241-0/+7
|\
| * bpf: Add reference tracking support to kfuncKumar Kartikeya Dwivedi2022-01-181-0/+5
| * bpf: Introduce mem, size argument pair support for kfuncKumar Kartikeya Dwivedi2022-01-181-0/+2
* | bpf: Generalize check_ctx_reg for reuse with other typesDaniel Borkmann2022-01-191-2/+2
|/
* bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULLHao Luo2021-12-181-0/+4
* bpf: Introduce composable reg, ret and arg types.Hao Luo2021-12-181-0/+13
* bpf: Right align verifier states in verifier logs.Christy Lee2021-12-161-0/+3
* bpf: Only print scratched registers and stack slots to verifier logs.Christy Lee2021-12-161-0/+7
* bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)Hou Tao2021-12-041-0/+7
* bpf: Introduce BPF support for kernel module function callsKumar Kartikeya Dwivedi2021-10-051-0/+2
View Lorry Controller Status