summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
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
2022-11-30bpf: Tighten ptr_to_btf_id checks.Alexei Starovoitov
2022-11-24bpf: Add kfunc bpf_rcu_read_lock/unlock()Yonghong Song
2022-11-20bpf: Allow trusted pointers to be passed to KF_TRUSTED_ARGS kfuncsDavid Vernet
2022-11-20bpf: Allow multiple modifiers in reg_type_str() prefixDavid Vernet
2022-11-17bpf: Add 'release on unlock' logic for bpf_list_push_{front,back}Kumar Kartikeya Dwivedi
2022-11-17bpf: Introduce bpf_obj_newKumar Kartikeya Dwivedi
2022-11-17bpf: Rewrite kfunc argument handlingKumar Kartikeya Dwivedi
2022-11-17bpf: Allow locking bpf_spin_lock global variablesKumar Kartikeya Dwivedi
2022-10-25bpf: Remove prog->active check for bpf_lsm and bpf_iterMartin KaFai Lau
2022-09-21btf: Allow dynamic pointer parameters in kfuncsRoberto Sassu
2022-09-10bpf: Add verifier support for custom callback return rangeDave Marchevsky
2022-09-07bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi
2022-09-07bpf/verifier: allow kfunc to return an allocated memBenjamin Tissoires
2022-08-24bpf: Fix reference state management for synchronous callbacksKumar Kartikeya Dwivedi
2022-07-11bpf: Fix 'dubious one-bit signed bitfield' warningsMatthieu Baerts
2022-06-20bpf: Inline calls to bpf_loop when callback is knownEduard Zingerman
2022-06-14bpf: Fix spelling in bpf_verifier.hHongyi Lu
2022-05-23bpf: Dynptr support for ring buffersJoanne Koong
2022-05-23bpf: Add verifier support for dynptrsJoanne Koong
2022-04-25bpf: Tag argument to be released in bpf_func_protoKumar Kartikeya Dwivedi
2022-03-30bpf: Resolve to prog->aux->dst_prog->type only for BPF_PROG_TYPE_EXTMartin KaFai Lau
2022-03-05bpf: Harden register offset checks for release helpers and kfuncsKumar Kartikeya Dwivedi
2022-03-05bpf: Add check_func_arg_reg_off functionKumar Kartikeya Dwivedi
2022-01-24Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2022-01-19bpf: Generalize check_ctx_reg for reuse with other typesDaniel Borkmann
2022-01-18bpf: Add reference tracking support to kfuncKumar Kartikeya Dwivedi
2022-01-18bpf: Introduce mem, size argument pair support for kfuncKumar Kartikeya Dwivedi
2021-12-18bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULLHao Luo
2021-12-18bpf: Introduce composable reg, ret and arg types.Hao Luo
2021-12-16bpf: Right align verifier states in verifier logs.Christy Lee
2021-12-16bpf: Only print scratched registers and stack slots to verifier logs.Christy Lee
2021-12-04bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)Hou Tao
2021-10-05bpf: Introduce BPF support for kernel module function callsKumar Kartikeya Dwivedi
2021-07-31Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2021-07-29bpf: Fix leakage due to insufficient speculative store bypass mitigationDaniel Borkmann
2021-07-16bpf: Fix pointer arithmetic mask tightening under state pruningDaniel Borkmann
2021-07-15bpf: Teach stack depth check about async callbacks.Alexei Starovoitov
2021-07-15bpf: Implement verifier support for validation of async callbacks.Alexei Starovoitov
2021-07-15bpf: Prevent pointer mismatch in bpf_timer_init.Alexei Starovoitov
2021-05-19bpf: Introduce fd_idxAlexei Starovoitov
2021-05-10bpf: verifier: Allocate idmap scratch in verifier envLorenz Bauer
2021-05-03bpf: Fix leakage of uninitialized bpf stack under speculationDaniel Borkmann
2021-04-13bpf: Return target info when a tracing bpf_link is queriedToke Høiland-Jørgensen