summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
2020-03-30bpf: Verifier, do explicit ALU32 bounds trackingJohn Fastabend
2020-01-10bpf: Introduce function-by-function verificationAlexei Starovoitov
2019-11-24bpf: Constant map key tracking for prog array pokesDaniel Borkmann
2019-11-15bpf: Compare BTF types of functions arguments with actual typesAlexei Starovoitov
2019-10-17bpf: Implement accurate raw_tp context access via BTFAlexei Starovoitov
2019-10-17bpf: Process in-kernel BTFAlexei Starovoitov
2019-08-28bpf: introduce verifier internal test flagAlexei Starovoitov
2019-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-06-19bpf: precise scalar_value trackingAlexei Starovoitov
2019-06-19bpf: introduce bounded loopsAlexei Starovoitov
2019-06-07Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2019-05-30treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 206Thomas Gleixner
2019-05-24bpf: verifier: mark verified-insn with sub-register zext flagJiong Wang
2019-05-24bpf: convert explored_states to hash tableAlexei Starovoitov
2019-05-24bpf: split explored_statesAlexei Starovoitov
2019-04-23bpf: remove global variablesAlexei Starovoitov
2019-04-09bpf: implement lookup-free direct value access for mapsDaniel Borkmann
2019-04-04bpf: improve verification speed by droping statesAlexei Starovoitov
2019-04-04bpf: add verifier stats and log_level bit 2Alexei Starovoitov
2019-03-13bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau
2019-02-01bpf: introduce bpf_spin_lockAlexei Starovoitov
2019-01-23bpf: notify offload JITs about optimizationsJakub Kicinski
2019-01-23bpf: verifier: record original instruction indexJakub Kicinski
2019-01-05bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann
2019-01-02bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann
2019-01-02bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann
2018-12-15bpf: add self-check logic to liveness analysisAlexei Starovoitov
2018-12-14bpf: verbose log bpf_line_info in verifierMartin KaFai Lau
2018-12-09bpf: Add bpf_line_info supportMartin KaFai Lau
2018-11-26bpf: btf: support proper non-jit func infoYonghong Song
2018-11-20bpf: Introduce bpf_func_infoYonghong Song
2018-11-10bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet
2018-10-31bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann
2018-10-08bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet
2018-10-03bpf: Add reference tracking to verifierJoe Stringer
2018-10-03bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer
2018-10-03bpf: Add iterator for spilled registersJoe Stringer
2018-08-29bpf/verifier: per-register parent pointersEdward Cree
2018-05-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-05-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds
2018-05-24bpf: properly enforce index mask to prevent out-of-bounds speculationDaniel Borkmann
2018-05-19bpf: Prevent memory disambiguation attackAlexei Starovoitov
2018-05-17bpf: add __printf verification to bpf_verifier_vlogMathieu Malaterre
2018-05-04bpf: centre subprog information fieldsJiong Wang
2018-05-04bpf: unify main prog and subprogJiong Wang
2018-03-26bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()Martin KaFai Lau
2018-03-26bpf: Rename bpf_verifer_logMartin KaFai Lau
2018-01-10bpf: export function to write into verifier log bufferQuentin Monnet
2017-12-31bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski
2017-12-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller