summaryrefslogtreecommitdiffstats
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* bpf: correct loop detection for iterators convergenceEduard Zingerman2023-10-231-0/+15
* bpf: exact states comparison for iterator convergence checksEduard Zingerman2023-10-231-0/+1
* bpf: teach the verifier to enforce css_iter and task_iter in RCU CSChuyi Zhou2023-10-191-8/+11
* bpf: Add support for custom exception callbacksKumar Kartikeya Dwivedi2023-09-161-0/+1
* bpf: Implement BPF exceptionsKumar Kartikeya Dwivedi2023-09-161-0/+4
* bpf: Implement support for adding hidden subprogsKumar Kartikeya Dwivedi2023-09-161-1/+2
* bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu objYonghong Song2023-09-081-0/+1
* bpf: Consider non-owning refs trustedDave Marchevsky2023-08-251-1/+1
* bpf: Verify scalar ids mapping in regsafe() using check_ids()Eduard Zingerman2023-06-131-6/+11
* bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman2023-06-131-1/+9
* bpf: improve precision backtrack loggingAndrii Nakryiko2023-05-041-4/+9
* bpf: encapsulate precision backtracking bookkeepingAndrii Nakryiko2023-05-041-0/+14
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-26 18:33:29 +0000