summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Fix memory leaks in __check_func_callWang Yufen2022-11-081-5/+9
* bpf: Fix wrong reg type conversion in release_reference()Youlin Li2022-11-041-2/+6
* bpf, verifier: Fix memory leak in array reallocation for stack stateKees Cook2022-11-011-2/+7
* Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2022-10-241-0/+1
|\
| * bpf: Allow bpf_user_ringbuf_drain() callbacks to return 1David Vernet2022-10-131-0/+1
* | treewide: use get_random_u32() when possibleJason A. Donenfeld2022-10-111-1/+1
|/
* btf: Allow dynamic pointer parameters in kfuncsRoberto Sassu2022-09-211-5/+5
* bpf: Move dynptr type check to is_dynptr_type_expected()Roberto Sassu2022-09-211-8/+27
* bpf: Add bpf_user_ringbuf_drain() helperDavid Vernet2022-09-211-4/+57
* bpf: Define new BPF_MAP_TYPE_USER_RINGBUF map typeDavid Vernet2022-09-211-0/+3
* bpf: Add verifier check for BPF_PTR_POISON retval and argDave Marchevsky2022-09-151-7/+23
* bpf: Add verifier support for custom callback return rangeDave Marchevsky2022-09-101-1/+6
* bpf: Export btf_type_by_id() and bpf_log()Daniel Xu2022-09-101-0/+1
* bpf: Remove duplicate PTR_TO_BTF_ID RO checkDaniel Xu2022-09-101-3/+0
* bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi2022-09-071-107/+28
* bpf/verifier: allow kfunc to return an allocated memBenjamin Tissoires2022-09-071-13/+32
* bpf/verifier: allow all functions to read user provided contextBenjamin Tissoires2022-09-071-0/+19
* bpf: split btf_check_subprog_arg_match in twoBenjamin Tissoires2022-09-071-1/+1
* Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPaolo Abeni2022-09-061-61/+33
|\
| * bpf: Remove prealloc-only restriction for sleepable bpf programs.Alexei Starovoitov2022-09-051-23/+0
| * bpf: Remove tracing program restriction on map typesAlexei Starovoitov2022-09-051-42/+0
| * bpf: Relax the requirement to use preallocated hash maps in tracing progs.Alexei Starovoitov2022-09-051-9/+22
| * bpf: Fix reference state management for synchronous callbacksKumar Kartikeya Dwivedi2022-08-241-9/+33
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2022-09-011-6/+7
|\ \ | |/ |/|
| * bpf: Don't use tnum_range on array range checking for poke descriptorsDaniel Borkmann2022-08-251-6/+4
| * bpf: Do mark_chain_precision for ARG_CONST_ALLOC_SIZE_OR_ZEROKumar Kartikeya Dwivedi2022-08-251-0/+3
* | bpf: add destructive kfunc flagArtem Savkov2022-08-101-0/+5
* | bpf: Fix ref_obj_id for dynptr data slices in verifierJoanne Koong2022-08-091-18/+20
* | bpf: Cleanup check_refcount_okDave Marchevsky2022-08-091-45/+29
* | bpf: Verifier cleanupsJoanne Koong2022-08-081-18/+32
|/
* bpf: Switch to new kfunc flags infrastructureKumar Kartikeya Dwivedi2022-07-211-8/+6
* bpf: Check attach_func_proto more carefully in check_helper_callStanislav Fomichev2022-07-211-1/+3
* bpf: Fix subprog names in stack traces.Alexei Starovoitov2022-07-141-3/+1
* bpf: Warn on non-preallocated case for BPF_PROG_TYPE_RAW_TRACEPOINT_WRITABLEYafang Shao2022-07-141-0/+1
* bpf: Tidy up verifier check_func_arg()Joanne Koong2022-07-131-28/+38
* Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2022-07-091-12/+226
|\
| * bpf: Check attach_func_proto more carefully in check_return_codeStanislav Fomichev2022-07-081-5/+16
| * bpf: per-cgroup lsm flavorStanislav Fomichev2022-06-291-0/+32
| * bpf: Fix for use-after-free bug in inline_bpf_loopEduard Zingerman2022-06-241-1/+1
| * bpf: Replace hard-coded 0 with BPF_K in check_alu_opSimon Wang2022-06-241-1/+1
| * bpf, x64: Add predicate for bpf2bpf with tailcalls support in JITTony Ambardar2022-06-211-1/+2
| * bpf: Inline calls to bpf_loop when callback is knownEduard Zingerman2022-06-201-5/+175
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2022-07-071-66/+47
|\ \ | |/ |/|
| * bpf: Fix insufficient bounds propagation from adjust_scalar_min_max_valsDaniel Borkmann2022-07-011-49/+23
| * bpf: Fix incorrect verifier simulation around jmp32's jeq/jneDaniel Borkmann2022-07-011-17/+24
* | bpf: Allow helpers to accept pointers with a fixed sizeMaxim Mikityanskiy2022-06-161-11/+32
* | bpf: allow sleepable uprobe programs to attachDelyan Kratunov2022-06-161-2/+2
* | bpf: Add btf enum64 supportYonghong Song2022-06-071-1/+1
|/
* bpf: Add dynptr data slicesJoanne Koong2022-05-231-0/+23
* bpf: Dynptr support for ring buffersJoanne Koong2022-05-231-3/+49