summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
2024-03-11bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov
2024-03-06bpf: Introduce may_goto instructionAlexei Starovoitov
2024-02-02bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy
2024-01-30bpf: add __arg_trusted global func arg tagAndrii Nakryiko
2024-01-23bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee
2024-01-23bpf: Make bpf_for_each_spilled_reg consider narrow spillsMaxim Mikityanskiy
2023-12-19bpf: move subprog call logic back to verifier.cAndrii Nakryiko
2023-12-19bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko
2023-12-19bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko
2023-12-11bpf: use bitfields for simple per-subprog bool flagsAndrii Nakryiko
2023-12-08bpf: Add some comments to stack representationAndrei Matei
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko
2023-12-02bpf: enforce exact retval range on subprog/callback exitAndrii Nakryiko
2023-12-02bpf: rearrange bpf_func_state fields to save a bit of memoryAndrii Nakryiko
2023-11-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-11-20bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman
2023-11-20bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman
2023-11-18bpf: move verifier state printing code to kernel/bpf/log.cAndrii Nakryiko
2023-11-18bpf: move verbose_linfo() into kernel/bpf/log.cAndrii Nakryiko
2023-11-17bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTSAndrii Nakryiko
2023-11-15bpf: add register bounds sanity checks and sanitizationAndrii Nakryiko
2023-10-23bpf: correct loop detection for iterators convergenceEduard Zingerman
2023-10-23bpf: exact states comparison for iterator convergence checksEduard Zingerman
2023-10-19bpf: teach the verifier to enforce css_iter and task_iter in RCU CSChuyi Zhou
2023-09-16bpf: Add support for custom exception callbacksKumar Kartikeya Dwivedi
2023-09-16bpf: Implement BPF exceptionsKumar Kartikeya Dwivedi
2023-09-16bpf: Implement support for adding hidden subprogsKumar Kartikeya Dwivedi
2023-09-08bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu objYonghong Song
2023-08-25bpf: Consider non-owning refs trustedDave Marchevsky
2023-06-13bpf: Verify scalar ids mapping in regsafe() using check_ids()Eduard Zingerman
2023-06-13bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman
2023-05-04bpf: improve precision backtrack loggingAndrii Nakryiko
2023-05-04bpf: encapsulate precision backtracking bookkeepingAndrii Nakryiko
2023-04-15bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly failDave Marchevsky
2023-04-11bpf: Simplify internal verifier log interfaceAndrii Nakryiko
2023-04-11bpf: Keep track of total log content size in both fixed and rolling modesAndrii Nakryiko
2023-04-11bpf: Switch BPF verifier log to be a rotating log by defaultAndrii Nakryiko
2023-04-11bpf: Split off basic BPF verifier log into separate fileAndrii Nakryiko
2023-03-10bpf: ensure state checkpointing at iter_next() call sitesAndrii Nakryiko
2023-03-08bpf: add support for open-coded iterator loopsAndrii Nakryiko
2023-03-08bpf: add iterator kfuncs registration and validation logicAndrii Nakryiko
2023-03-03bpf: Refactor RCU enforcement in the verifier.Alexei Starovoitov
2023-03-01bpf: Refactor process_dynptr_funcJoanne Koong
2023-02-13bpf: Migrate release_on_unlock logic to non-owning ref semanticsDave Marchevsky
2023-01-20bpf: Invalidate slices on destruction of dynptrs on stackKumar Kartikeya Dwivedi
2022-12-27bpf: reorganize struct bpf_reg_state fieldsAndrii Nakryiko
2022-12-10bpf: states_equal() must build idmap for all function framesEduard Zingerman
2022-12-08bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_funcKumar Kartikeya Dwivedi
2022-12-06bpf: decouple prune and jump pointsAndrii Nakryiko
2022-12-04bpf: Handle MEM_RCU type properlyYonghong Song