summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
2023-10-24bpf: correct loop detection for iterators convergenceEduard Zingerman1-0/+15
2023-10-24bpf: exact states comparison for iterator convergence checksEduard Zingerman1-0/+1
2023-10-20bpf: teach the verifier to enforce css_iter and task_iter in RCU CSChuyi Zhou1-8/+11
2023-09-16bpf: Add support for custom exception callbacksKumar Kartikeya Dwivedi1-0/+1
2023-09-16bpf: Implement BPF exceptionsKumar Kartikeya Dwivedi1-0/+4
2023-09-16bpf: Implement support for adding hidden subprogsKumar Kartikeya Dwivedi1-1/+2
2023-09-08bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu objYonghong Song1-0/+1
2023-08-25bpf: Consider non-owning refs trustedDave Marchevsky1-1/+1
2023-06-14bpf: Verify scalar ids mapping in regsafe() using check_ids()Eduard Zingerman1-6/+11
2023-06-14bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman1-1/+9
2023-05-05bpf: improve precision backtrack loggingAndrii Nakryiko1-4/+9
2023-05-05bpf: encapsulate precision backtracking bookkeepingAndrii Nakryiko1-0/+14
2023-04-16bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly failDave Marchevsky1-1/+6
2023-04-11bpf: Simplify internal verifier log interfaceAndrii Nakryiko1-10/+3
2023-04-11bpf: Keep track of total log content size in both fixed and rolling modesAndrii Nakryiko1-9/+3
2023-04-11bpf: Switch BPF verifier log to be a rotating log by defaultAndrii Nakryiko1-7/+26
2023-04-11bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko1-12/+7
2023-03-10bpf: ensure state checkpointing at iter_next() call sitesAndrii Nakryiko1-1/+5
2023-03-09bpf: add support for open-coded iterator loopsAndrii Nakryiko1-0/+23
2023-03-09bpf: add iterator kfuncs registration and validation logicAndrii Nakryiko1-0/+2
2023-03-03bpf: Refactor RCU enforcement in the verifier.Alexei Starovoitov1-1/+0
2023-03-01bpf: Refactor process_dynptr_funcJoanne Koong1-3/+0
2023-02-14bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky1-20/+18
2023-01-21bpf: Invalidate slices on destruction of dynptrs on stackKumar Kartikeya Dwivedi1-1/+4
2022-12-28bpf: reorganize struct bpf_reg_state fieldsAndrii Nakryiko1-20/+20
2022-12-11bpf: states_equal() must build idmap for all function framesEduard Zingerman1-2/+2
2022-12-09bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_funcKumar Kartikeya Dwivedi1-5/+3
2022-12-07bpf: decouple prune and jump pointsAndrii Nakryiko1-0/+1
2022-12-04bpf: Handle MEM_RCU type properlyYonghong Song1-1/+1
2022-12-01bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov1-1/+0
2022-11-24bpf: Add kfunc bpf_rcu_read_lock/unlock()Yonghong Song1-1/+4
2022-11-20bpf: Allow trusted pointers to be passed to KF_TRUSTED_ARGS kfuncsDavid Vernet1-0/+7
2022-11-20bpf: Allow multiple modifiers in reg_type_str() prefixDavid Vernet1-1/+1
2022-11-18bpf: Add 'release on unlock' logic for bpf_list_push_{front,back}Kumar Kartikeya Dwivedi1-0/+5
2022-11-18bpf: Introduce bpf_obj_newKumar Kartikeya Dwivedi1-0/+2
2022-11-18bpf: Rewrite kfunc argument handlingKumar Kartikeya Dwivedi1-2/+0
2022-11-18bpf: Allow locking bpf_spin_lock global variablesKumar Kartikeya Dwivedi1-1/+15
2022-10-26bpf: Remove prog->active check for bpf_lsm and bpf_iterMartin KaFai Lau1-1/+14
2022-09-22btf: Allow dynamic pointer parameters in kfuncsRoberto Sassu1-0/+5
2022-09-11bpf: Add verifier support for custom callback return rangeDave Marchevsky1-0/+1
2022-09-08bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi1-0/+21
2022-09-07bpf/verifier: allow kfunc to return an allocated memBenjamin Tissoires1-0/+2
2022-08-25bpf: Fix reference state management for synchronous callbacksKumar Kartikeya Dwivedi1-0/+11
2022-07-12bpf: Fix 'dubious one-bit signed bitfield' warningsMatthieu Baerts1-4/+4
2022-06-21bpf: Inline calls to bpf_loop when callback is knownEduard Zingerman1-0/+12
2022-06-14bpf: Fix spelling in bpf_verifier.hHongyi Lu1-1/+1
2022-05-24bpf: Dynptr support for ring buffersJoanne Koong1-0/+2
2022-05-24bpf: Add verifier support for dynptrsJoanne Koong1-0/+18
2022-04-26bpf: Tag argument to be released in bpf_func_protoKumar Kartikeya Dwivedi1-2/+1
2022-03-31bpf: Resolve to prog->aux->dst_prog->type only for BPF_PROG_TYPE_EXTMartin KaFai Lau1-1/+3