aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/include/linux/bpf_verifier.h (follow)
AgeCommit message (Expand)AuthorFilesLines
2024-12-10bpf: track changes_pkt_data property for global functionsEduard Zingerman1-0/+1
2024-11-15bpf: use common instruction history across all statesAndrii Nakryiko1-8/+11
2024-11-12bpf: Support private stack for struct_ops progsYonghong Song1-0/+1
2024-11-12bpf: Find eligible subprogs for private stack supportYonghong Song1-0/+7
2024-11-11bpf: Drop special callback reference handlingKumar Kartikeya Dwivedi1-17/+4
2024-11-11bpf: Refactor active lock managementKumar Kartikeya Dwivedi1-28/+25
2024-09-05bpf: use type_may_be_null() helper for nullable-param checkShung-Hsi Yu1-0/+5
2024-09-04bpf: Remove the insn_buf array stack usage from the inline_bpf_loop()Martin KaFai Lau1-1/+1
2024-08-29bpf: Add gen_epilogue to bpf_verifier_opsMartin KaFai Lau1-0/+1
2024-08-29bpf: Move insn_buf[16] to bpf_verifier_envMartin KaFai Lau1-0/+3
2024-08-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfAlexei Starovoitov1-2/+2
2024-08-22bpf: rename nocsr -> bpf_fastcall in verifierEduard Zingerman1-9/+9
2024-08-12bpf: Fix updating attached freplace prog in prog_array mapLeon Hwang1-2/+2
2024-07-29bpf: no_caller_saved_registers attribute for helper callsEduard Zingerman1-0/+14
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman1-0/+4
2024-07-12bpf: Fix null pointer dereference in resolve_prog_type() for BPF_PROG_TYPE_EXTTengda Wu1-1/+1
2024-07-09Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPaolo Abeni1-1/+11
2024-06-14bpf: Track delta between "linked" registers.Alexei Starovoitov1-1/+11
2024-06-13bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann1-0/+2
2024-04-24bpf: Introduce bpf_preempt_[disable,enable] kfuncsKumar Kartikeya Dwivedi1-0/+1
2024-04-23bpf: wq: add bpf_wq_set_callback_implBenjamin Tissoires1-0/+1
2024-04-05bpf: store both map ptr and state in bpf_insn_aux_dataPhilo Lu1-1/+8
2024-03-11bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov1-0/+1
2024-03-06bpf: Introduce may_goto instructionAlexei Starovoitov1-0/+2
2024-02-02bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy1-0/+9
2024-01-30bpf: add __arg_trusted global func arg tagAndrii Nakryiko1-0/+1
2024-01-23bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee1-0/+1
2024-01-23bpf: Make bpf_for_each_spilled_reg consider narrow spillsMaxim Mikityanskiy1-1/+1
2023-12-19bpf: move subprog call logic back to verifier.cAndrii Nakryiko1-8/+0
2023-12-19bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko1-0/+5
2023-12-19bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko1-0/+16
2023-12-11bpf: use bitfields for simple per-subprog bool flagsAndrii Nakryiko1-6/+6
2023-12-08bpf: Add some comments to stack representationAndrei Matei1-0/+14
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko1-4/+27
2023-12-02bpf: enforce exact retval range on subprog/callback exitAndrii Nakryiko1-1/+6
2023-12-02bpf: rearrange bpf_func_state fields to save a bit of memoryAndrii Nakryiko1-2/+2
2023-11-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-0/+16
2023-11-20bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman1-0/+11
2023-11-20bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman1-0/+5
2023-11-18bpf: move verifier state printing code to kernel/bpf/log.cAndrii Nakryiko1-0/+72
2023-11-18bpf: move verbose_linfo() into kernel/bpf/log.cAndrii Nakryiko1-0/+4
2023-11-17bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTSAndrii Nakryiko1-1/+1
2023-11-15bpf: add register bounds sanity checks and sanitizationAndrii Nakryiko1-0/+1
2023-10-23bpf: correct loop detection for iterators convergenceEduard Zingerman1-0/+15
2023-10-23bpf: exact states comparison for iterator convergence checksEduard Zingerman1-0/+1
2023-10-19bpf: 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