summaryrefslogtreecommitdiffstats
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov2024-03-111-0/+1
* bpf: Introduce may_goto instructionAlexei Starovoitov2024-03-061-0/+2
* bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy2024-02-021-0/+9
* bpf: add __arg_trusted global func arg tagAndrii Nakryiko2024-01-301-0/+1
* bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee2024-01-231-0/+1
* bpf: Make bpf_for_each_spilled_reg consider narrow spillsMaxim Mikityanskiy2024-01-231-1/+1
* bpf: move subprog call logic back to verifier.cAndrii Nakryiko2023-12-191-8/+0
* bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko2023-12-191-0/+5
* bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko2023-12-191-0/+16
* bpf: use bitfields for simple per-subprog bool flagsAndrii Nakryiko2023-12-111-6/+6
* bpf: Add some comments to stack representationAndrei Matei2023-12-081-0/+14
* bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko2023-12-051-4/+27
* bpf: enforce exact retval range on subprog/callback exitAndrii Nakryiko2023-12-021-1/+6
* bpf: rearrange bpf_func_state fields to save a bit of memoryAndrii Nakryiko2023-12-021-2/+2
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-11-231-0/+16
|\
| * bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman2023-11-201-0/+11
| * bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman2023-11-201-0/+5
* | bpf: move verifier state printing code to kernel/bpf/log.cAndrii Nakryiko2023-11-181-0/+72
* | bpf: move verbose_linfo() into kernel/bpf/log.cAndrii Nakryiko2023-11-181-0/+4
* | bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTSAndrii Nakryiko2023-11-171-1/+1
* | bpf: add register bounds sanity checks and sanitizationAndrii Nakryiko2023-11-151-0/+1
|/
* 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