summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)AuthorFilesLines
2019-04-23bpf: remove global variablesAlexei Starovoitov1-0/+5
2019-04-09bpf: 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-23bpf: notify offload JITs about optimizationsJakub Kicinski1-0/+5
2019-01-23bpf: verifier: record original instruction indexJakub Kicinski1-0/+1
2019-01-05bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann1-0/+1
2019-01-02bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann1-0/+10
2019-01-02bpf: 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-14bpf: verbose log bpf_line_info in verifierMartin KaFai Lau1-0/+1
2018-12-09bpf: Add bpf_line_info supportMartin KaFai Lau1-0/+1
2018-11-26bpf: btf: support proper non-jit func infoYonghong Song1-1/+0
2018-11-20bpf: Introduce bpf_func_infoYonghong Song1-0/+1
2018-11-10bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet1-1/+1
2018-10-31bpf: 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-29bpf/verifier: per-register parent pointersEdward Cree1-5/+3
2018-05-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+2
2018-05-25Merge 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
2018-05-17bpf: add __printf verification to bpf_verifier_vlogMathieu Malaterre1-2/+2
2018-05-04bpf: centre subprog information fieldsJiong Wang1-3/+6
2018-05-04bpf: unify main prog and subprogJiong Wang1-1/+1
2018-03-26bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()Martin KaFai Lau1-0/+7
2018-03-26bpf: Rename bpf_verifer_logMartin KaFai Lau1-3/+3
2018-01-10bpf: export function to write into verifier log bufferQuentin Monnet1-0/+3
2017-12-31bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski1-14/+2
2017-12-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-0/+1
2017-12-27bpf: fix maximum stack depth tracking logicAlexei Starovoitov1-0/+1
2017-12-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-2/+2
2017-12-21bpf: fix integer overflowsAlexei Starovoitov1-2/+2
2017-12-17bpf: x64: add JIT support for multi-function programsAlexei Starovoitov1-0/+1
2017-12-17bpf: teach verifier to recognize zero initialized stackAlexei Starovoitov1-1/+2
2017-12-17bpf: introduce function calls (verification)Alexei Starovoitov1-2/+34
2017-12-17bpf: introduce function calls (function boundaries)Alexei Starovoitov1-1/+4
2017-11-23bpf: fix branch pruning logicAlexei Starovoitov1-1/+1
2017-11-21bpf: make bpf_prog_offload_verifier_prep() static inlineJakub Kicinski1-1/+1
2017-11-05bpf: remove old offload/analyzerJakub Kicinski1-5/+0
2017-11-05bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski1-0/+10
2017-11-01bpf: reduce verifier memory consumptionAlexei Starovoitov1-3/+13
2017-10-18bpf: remove the verifier ops from program structureJakub Kicinski1-0/+1
2017-10-10bpf: write back the verifier log buffer as it gets filledJakub Kicinski1-1/+3
2017-10-10bpf: move global verifier log into verifier environmentJakub Kicinski1-0/+2