summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-07-05bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy
2024-07-05bpf: Fix may_goto with negative offset.Alexei Starovoitov
2024-07-05bpf: Fix the corner case with may_goto and jump to the 1st insn.Alexei Starovoitov
2024-07-05bpf: Add missed var_off setting in coerce_subreg_to_size_sx()Yonghong Song
2024-07-05bpf: Add missed var_off setting in set_sext32_default_val()Yonghong Song
2024-06-27bpf: Fix reg_set_min_max corruption of fake_regDaniel Borkmann
2024-06-12bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki
2024-05-30bpf: Fix verifier assumptions about socket->skAlexei Starovoitov
2024-05-30bpf: prevent r10 register from being marked as preciseAndrii Nakryiko
2024-04-26bpf: verifier: prevent userspace memory accessPuranjay Mohan
2024-04-12bpf: Fix a verifier verbose messageAnton Protopopov
2024-03-29bpf: fix possible file descriptor leaks in verifierAnton Protopopov
2024-03-27bpf: Protect against int overflow for stack access sizeAndrei Matei
2024-03-22bpf: verifier: reject addr_space_cast insn without arenaPuranjay Mohan
2024-03-22bpf: verifier: fix addr_space_cast from as(1) to as(0)Puranjay Mohan
2024-03-14bpf: Temporarily disable atomic operations in BPF arenaPuranjay Mohan
2024-03-11Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2024-03-11bpf: move sleepable flag from bpf_prog_aux to bpf_progAndrii Nakryiko
2024-03-11bpf: Recognize btf_decl_tag("arg: Arena") as PTR_TO_ARENA.Alexei Starovoitov
2024-03-11bpf: Recognize addr_space_cast instruction in the verifier.Alexei Starovoitov
2024-03-11bpf: Introduce bpf_arena.Alexei Starovoitov
2024-03-07bpf: Recognize '__map' suffix in kfunc argumentsAlexei Starovoitov
2024-03-07bpf: Allow kfuncs return 'void *'Alexei Starovoitov
2024-03-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-03-06bpf: Recognize that two registers are safe when their ranges matchAlexei Starovoitov
2024-03-06bpf: Introduce may_goto instructionAlexei Starovoitov
2024-03-05bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman
2024-03-02Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2024-02-22bpf: add is_async_callback_calling_insn() helperBenjamin Tissoires
2024-02-22bpf: introduce in_sleepable() helperBenjamin Tissoires
2024-02-22bpf: allow more maps in sleepable bpf programsBenjamin Tissoires
2024-02-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2024-02-15bpf: Fix test verif_scale_strobemeta_subprogs failure due to llvm19Yonghong Song
2024-02-13bpf: simplify btf_get_prog_ctx_type() into btf_is_prog_ctx_type()Andrii Nakryiko
2024-02-13bpf: Create argument information for nullable arguments.Kui-Feng Lee
2024-02-13bpf: Move __kfunc_param_match_suffix() to btf.c.Kui-Feng Lee
2024-02-13bpf: Fix warning for bpf_cpumask in verifierHari Bathini
2024-02-05bpf: Transfer RCU lock state between subprog callsKumar Kartikeya Dwivedi
2024-02-05bpf: Allow calling static subprogs while holding a bpf_spin_lockKumar Kartikeya Dwivedi
2024-02-02bpf: handle trusted PTR_TO_BTF_ID_OR_NULL in argument check logicAndrii Nakryiko
2024-02-02bpf: Handle scalar spill vs all MISC in stacksafe()Eduard Zingerman
2024-02-02bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy
2024-02-02bpf: Track spilled unbounded scalarsMaxim Mikityanskiy
2024-01-30bpf: add __arg_trusted global func arg tagAndrii Nakryiko
2024-01-25bpf: Fix error checks against bpf_get_btf_vmlinux().Kui-Feng Lee
2024-01-24bpf: Consistently use BPF token throughout BPF verifier logicAndrii Nakryiko
2024-01-23bpf: hold module refcnt in bpf_struct_ops map creation and prog verification.Kui-Feng Lee
2024-01-23bpf: pass attached BTF to the bpf_struct_ops subsystemKui-Feng Lee
2024-01-23bpf: lookup struct_ops types from a given module BTF.Kui-Feng Lee
2024-01-23bpf, net: introduce bpf_struct_ops_desc.Kui-Feng Lee