summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: fix branch pruning logicAlexei Starovoitov2017-11-231-0/+27
* bpf: introduce ARG_PTR_TO_MEM_OR_NULLGianluca Borello2017-11-221-1/+3
* bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semanticsYonghong Song2017-11-141-16/+24
* bpf: Revert bpf_overrid_function() helper changes.David S. Miller2017-11-111-2/+0
* bpf: add a bpf_override_function helperJosef Bacik2017-11-111-0/+2
* bpf, cgroup: implement eBPF-based device controller for cgroup v2Roman Gushchin2017-11-051-0/+1
* bpf: remove old offload/analyzerJakub Kicinski2017-11-051-75/+0
* bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski2017-11-051-3/+12
* bpf: fix verifier NULL pointer dereferenceCraig Gallek2017-11-031-4/+8
* bpf: fix out-of-bounds access warning in bpf_checkArnd Bergmann2017-11-031-0/+4
* bpf: fix link error without CONFIG_NETArnd Bergmann2017-11-031-0/+2
* bpf: also improve pattern matches for meta accessDaniel Borkmann2017-11-021-69/+96
* bpf: minor cleanups after mergeDaniel Borkmann2017-11-021-1/+1
* bpf: fix verifier memory leaksAlexei Starovoitov2017-11-011-9/+18
* bpf: reduce verifier memory consumptionAlexei Starovoitov2017-11-011-149/+288
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-10-221-18/+64
|\
| * bpf: fix pattern matches for direct packet accessDaniel Borkmann2017-10-221-0/+24
| * bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann2017-10-221-12/+21
| * bpf: disallow arithmetic operations on context pointerJakub Kicinski2017-10-181-2/+6
* | bpf: move knowledge about post-translation offsets out of verifierJakub Kicinski2017-10-181-39/+16
* | bpf: remove the verifier ops from program structureJakub Kicinski2017-10-181-6/+17
* | bpf: split verifier and program opsJakub Kicinski2017-10-181-6/+6
* | bpf: XDP_REDIRECT enable use of cpumapJesper Dangaard Brouer2017-10-181-1/+2
* | bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAPJesper Dangaard Brouer2017-10-181-0/+5
* | bpf: verifier: set reg_type on context accesses in second passJakub Kicinski2017-10-141-6/+37
* | bpf: write back the verifier log buffer as it gets filledJakub Kicinski2017-10-101-22/+19
* | bpf: move instruction printing into a separate fileJakub Kicinski2017-10-101-198/+4
* | bpf: move global verifier log into verifier environmentJakub Kicinski2017-10-101-232/+259
* | bpf: encapsulate verifier log state into a structureJakub Kicinski2017-10-101-27/+30
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-10-091-0/+5
|\ \ | |/
| * bpf: fix liveness markingAlexei Starovoitov2017-10-071-0/+5
* | bpf: add helper bpf_perf_event_read_value for perf event array mapYonghong Song2017-10-071-1/+3
* | bpf: enforce return code for cgroup-bpf programsAlexei Starovoitov2017-10-041-0/+40
* | bpf/verifier: improve disassembly of BPF_NEG instructionsEdward Cree2017-09-281-0/+5
* | bpf/verifier: improve disassembly of BPF_END instructionsEdward Cree2017-09-281-2/+16
* | bpf: add meta pointer for direct accessDaniel Borkmann2017-09-261-28/+86
|/
* bpf: fix ri->map_owner pointer on bpf_prog_reallocDaniel Borkmann2017-09-191-1/+6
* bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree2017-09-151-1/+2
* bpf: don't select potentially stale ri->map from buggy xdp progsDaniel Borkmann2017-09-081-0/+16
* bpf/verifier: document liveness analysisEdward Cree2017-08-231-1/+27
* bpf/verifier: remove varlen_map_value_access flagEdward Cree2017-08-231-29/+12
* bpf/verifier: when pruning a branch, ignore its write marksEdward Cree2017-08-231-2/+7
* bpf: make htab inlining more robust wrt assumptionsDaniel Borkmann2017-08-191-1/+5
* bpf: Fix map-in-map checking in the verifierMartin KaFai Lau2017-08-181-0/+1
* bpf: fix liveness propagation to parent in spilled stack slotsDaniel Borkmann2017-08-171-1/+1
* bpf: add access to sock fields and pkt data from sk_skb programsJohn Fastabend2017-08-161-0/+1
* bpf: sockmap with sk redirect supportJohn Fastabend2017-08-161-0/+14
* bpf/verifier: track liveness for pruningEdward Cree2017-08-151-43/+146
* bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifierDaniel Borkmann2017-08-091-4/+58
* bpf/verifier: increase complexity limit to 128kEdward Cree2017-08-081-1/+1
OpenPOWER on IntegriCloud