summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
Commit message (Expand)AuthorAgeFilesLines
* bpf: remove global variablesAlexei Starovoitov2019-04-231-0/+5
* bpf: implement lookup-free direct value access for mapsDaniel Borkmann2019-04-091-0/+4
* bpf: improve verification speed by droping statesAlexei Starovoitov2019-04-041-0/+2
* bpf: add verifier stats and log_level bit 2Alexei Starovoitov2019-04-041-0/+21
* bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau2019-03-131-0/+40
* bpf: introduce bpf_spin_lockAlexei Starovoitov2019-02-011-0/+1
* bpf: notify offload JITs about optimizationsJakub Kicinski2019-01-231-0/+5
* bpf: verifier: record original instruction indexJakub Kicinski2019-01-231-0/+1
* bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann2019-01-051-0/+1
* bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann2019-01-021-0/+10
* bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann2019-01-021-0/+2
* bpf: add self-check logic to liveness analysisAlexei Starovoitov2018-12-151-0/+1
* bpf: verbose log bpf_line_info in verifierMartin KaFai Lau2018-12-141-0/+1
* bpf: Add bpf_line_info supportMartin KaFai Lau2018-12-091-0/+1
* bpf: btf: support proper non-jit func infoYonghong Song2018-11-261-1/+0
* bpf: Introduce bpf_func_infoYonghong Song2018-11-201-0/+1
* bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet2018-11-101-1/+1
* bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann2018-10-311-0/+3
* bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet2018-10-081-0/+1
* bpf: Add reference tracking to verifierJoe Stringer2018-10-031-3/+21
* bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer2018-10-031-0/+2
* bpf: Add iterator for spilled registersJoe Stringer2018-10-031-0/+11
* bpf/verifier: per-register parent pointersEdward Cree2018-08-291-5/+3
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2018-05-261-1/+2
|\
| * Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds2018-05-251-1/+1
| |\
| | * bpf: properly enforce index mask to prevent out-of-bounds speculationDaniel Borkmann2018-05-241-1/+1
| * | bpf: Prevent memory disambiguation attackAlexei Starovoitov2018-05-191-0/+1
| |/
* | bpf: add __printf verification to bpf_verifier_vlogMathieu Malaterre2018-05-171-2/+2
* | bpf: centre subprog information fieldsJiong Wang2018-05-041-3/+6
* | bpf: unify main prog and subprogJiong Wang2018-05-041-1/+1
|/
* bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()Martin KaFai Lau2018-03-261-0/+7
* bpf: Rename bpf_verifer_logMartin KaFai Lau2018-03-261-3/+3
* bpf: export function to write into verifier log bufferQuentin Monnet2018-01-101-0/+3
* bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski2017-12-311-14/+2
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2017-12-271-0/+1
|\
| * bpf: fix maximum stack depth tracking logicAlexei Starovoitov2017-12-271-0/+1
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-12-221-2/+2
|\ \ | |/ |/|
| * bpf: fix integer overflowsAlexei Starovoitov2017-12-211-2/+2
* | bpf: x64: add JIT support for multi-function programsAlexei Starovoitov2017-12-171-0/+1
* | bpf: teach verifier to recognize zero initialized stackAlexei Starovoitov2017-12-171-1/+2
* | bpf: introduce function calls (verification)Alexei Starovoitov2017-12-171-2/+34
* | bpf: introduce function calls (function boundaries)Alexei Starovoitov2017-12-171-1/+4
|/
* bpf: fix branch pruning logicAlexei Starovoitov2017-11-231-1/+1
* bpf: make bpf_prog_offload_verifier_prep() static inlineJakub Kicinski2017-11-211-1/+1
* bpf: remove old offload/analyzerJakub Kicinski2017-11-051-5/+0
* bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski2017-11-051-0/+10
* bpf: reduce verifier memory consumptionAlexei Starovoitov2017-11-011-3/+13
* bpf: remove the verifier ops from program structureJakub Kicinski2017-10-181-0/+1
* bpf: write back the verifier log buffer as it gets filledJakub Kicinski2017-10-101-1/+3
* bpf: move global verifier log into verifier environmentJakub Kicinski2017-10-101-0/+2
View Lorry Controller Status