summaryrefslogtreecommitdiffstats
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* bpf: use type_may_be_null() helper for nullable-param checkShung-Hsi Yu2024-09-051-0/+5
* bpf: Remove the insn_buf array stack usage from the inline_bpf_loop()Martin KaFai Lau2024-09-041-1/+1
* bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau2024-08-291-0/+1
* bpf: Move insn_buf[16] to bpf_verifier_envMartin KaFai Lau2024-08-291-0/+3
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov2024-08-221-2/+2
|\
| * bpf: Fix updating attached freplace prog in prog_array mapLeon Hwang2024-08-121-2/+2
* | bpf: rename nocsr -> bpf_fastcall in verifierEduard Zingerman2024-08-221-9/+9
* | bpf: no_caller_saved_registers attribute for helper callsEduard Zingerman2024-07-291-0/+14
* | bpf: Track equal scalars history on per-instruction levelEduard Zingerman2024-07-291-0/+4
|/
* bpf: Fix null pointer dereference in resolve_prog_type() for BPF_PROG_TYPE_EXTTengda Wu2024-07-121-1/+1
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Paolo Abeni2024-07-091-1/+11
|\
| * bpf: Track delta between "linked" registers.Alexei Starovoitov2024-06-141-1/+11
* | bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann2024-06-131-0/+2
|/
* bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi2024-04-241-0/+1
* bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires2024-04-231-0/+1
* bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu2024-04-051-1/+8
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-09 05:32:45 +0000