summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
2020-09-29bpf: verifier: refactor check_attach_btf_id()Toke Høiland-Jørgensen1-0/+13
2020-09-29bpf: change logging calls from verbose() to bpf_log() and use log pointerToke Høiland-Jørgensen1-2/+3
2020-09-18bpf: Add abnormal return checks.Alexei Starovoitov1-0/+1
2020-09-18bpf, x64: rework pro/epilogue and tailcall handling in JITMaciej Fijalkowski1-0/+1
2020-09-18bpf: Limit caller's stack depth 256 for subprogs with tailcallsMaciej Fijalkowski1-0/+1
2020-06-22bpf: Support access to bpf map fieldsAndrey Ignatov1-0/+1
2020-06-02bpf: Implement BPF ring buffer and verifier support for itAndrii Nakryiko1-0/+4
2020-05-15bpf: Implement CAP_BPFAlexei Starovoitov1-0/+3
2020-03-31bpf: Verifier, do explicit ALU32 bounds trackingJohn Fastabend1-0/+4
2020-01-10bpf: Introduce function-by-function verificationAlexei Starovoitov1-2/+8
2019-11-25bpf: Constant map key tracking for prog array pokesDaniel Borkmann1-1/+2
2019-11-16bpf: Compare BTF types of functions arguments with actual typesAlexei Starovoitov1-0/+1
2019-10-17bpf: Implement accurate raw_tp context access via BTFAlexei Starovoitov1-0/+4
2019-10-17bpf: Process in-kernel BTFAlexei Starovoitov1-1/+3
2019-08-28bpf: introduce verifier internal test flagAlexei Starovoitov1-0/+1
2019-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-1/+68
2019-06-19bpf: precise scalar_value trackingAlexei Starovoitov1-0/+18
2019-06-19bpf: introduce bounded loopsAlexei Starovoitov1-1/+50
2019-06-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-4/+1
2019-05-30treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 206Thomas Gleixner1-4/+1
2019-05-25bpf: verifier: mark verified-insn with sub-register zext flagJiong Wang1-3/+11
2019-05-24bpf: convert explored_states to hash tableAlexei Starovoitov1-0/+1
2019-05-24bpf: split explored_statesAlexei Starovoitov1-0/+1
2019-04-23bpf: remove global variablesAlexei Starovoitov1-0/+5
2019-04-10bpf: implement lookup-free direct value access for mapsDaniel Borkmann1-0/+4
2019-04-04bpf: improve verification speed by droping statesAlexei Starovoitov1-0/+2
2019-04-04bpf: add verifier stats and log_level bit 2Alexei Starovoitov1-0/+21
2019-03-13bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau1-0/+40
2019-02-01bpf: introduce bpf_spin_lockAlexei Starovoitov1-0/+1
2019-01-24bpf: notify offload JITs about optimizationsJakub Kicinski1-0/+5
2019-01-24bpf: verifier: record original instruction indexJakub Kicinski1-0/+1
2019-01-06bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann1-0/+1
2019-01-03bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann1-0/+10
2019-01-03bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann1-0/+2
2018-12-15bpf: add self-check logic to liveness analysisAlexei Starovoitov1-0/+1
2018-12-15bpf: verbose log bpf_line_info in verifierMartin KaFai Lau1-0/+1
2018-12-10bpf: Add bpf_line_info supportMartin KaFai Lau1-0/+1
2018-11-27bpf: btf: support proper non-jit func infoYonghong Song1-1/+0
2018-11-20bpf: Introduce bpf_func_infoYonghong Song1-0/+1
2018-11-11bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet1-1/+1
2018-11-01bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann1-0/+3
2018-10-08bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet1-0/+1
2018-10-03bpf: Add reference tracking to verifierJoe Stringer1-3/+21
2018-10-03bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer1-0/+2
2018-10-03bpf: Add iterator for spilled registersJoe Stringer1-0/+11
2018-08-30bpf/verifier: per-register parent pointersEdward Cree1-5/+3
2018-05-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+2
2018-05-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds1-1/+1
2018-05-24bpf: properly enforce index mask to prevent out-of-bounds speculationDaniel Borkmann1-1/+1
2018-05-19bpf: Prevent memory disambiguation attackAlexei Starovoitov1-0/+1