summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2017-11-14bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semanticsYonghong Song1-16/+24
2017-11-11bpf: Revert bpf_overrid_function() helper changes.David S. Miller1-2/+0
2017-11-11bpf: add a bpf_override_function helperJosef Bacik1-0/+2
2017-11-05bpf, cgroup: implement eBPF-based device controller for cgroup v2Roman Gushchin1-0/+1
2017-11-05bpf: remove old offload/analyzerJakub Kicinski1-75/+0
2017-11-05bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski1-3/+12
2017-11-03bpf: fix verifier NULL pointer dereferenceCraig Gallek1-4/+8
2017-11-03bpf: fix out-of-bounds access warning in bpf_checkArnd Bergmann1-0/+4
2017-11-03bpf: fix link error without CONFIG_NETArnd Bergmann1-0/+2
2017-11-02bpf: also improve pattern matches for meta accessDaniel Borkmann1-69/+96
2017-11-02bpf: minor cleanups after mergeDaniel Borkmann1-1/+1
2017-11-01bpf: fix verifier memory leaksAlexei Starovoitov1-9/+18
2017-11-01bpf: reduce verifier memory consumptionAlexei Starovoitov1-149/+288
2017-10-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-18/+64
2017-10-22bpf: fix pattern matches for direct packet accessDaniel Borkmann1-0/+24
2017-10-22bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann1-12/+21
2017-10-18bpf: move knowledge about post-translation offsets out of verifierJakub Kicinski1-39/+16
2017-10-18bpf: remove the verifier ops from program structureJakub Kicinski1-6/+17
2017-10-18bpf: split verifier and program opsJakub Kicinski1-6/+6
2017-10-18bpf: disallow arithmetic operations on context pointerJakub Kicinski1-2/+6
2017-10-18bpf: XDP_REDIRECT enable use of cpumapJesper Dangaard Brouer1-1/+2
2017-10-18bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAPJesper Dangaard Brouer1-0/+5
2017-10-14bpf: verifier: set reg_type on context accesses in second passJakub Kicinski1-6/+37
2017-10-10bpf: write back the verifier log buffer as it gets filledJakub Kicinski1-22/+19
2017-10-10bpf: move instruction printing into a separate fileJakub Kicinski1-198/+4
2017-10-10bpf: move global verifier log into verifier environmentJakub Kicinski1-232/+259
2017-10-10bpf: encapsulate verifier log state into a structureJakub Kicinski1-27/+30
2017-10-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-0/+5
2017-10-07bpf: fix liveness markingAlexei Starovoitov1-0/+5
2017-10-07bpf: add helper bpf_perf_event_read_value for perf event array mapYonghong Song1-1/+3
2017-10-04bpf: enforce return code for cgroup-bpf programsAlexei Starovoitov1-0/+40
2017-09-28bpf/verifier: improve disassembly of BPF_NEG instructionsEdward Cree1-0/+5
2017-09-28bpf/verifier: improve disassembly of BPF_END instructionsEdward Cree1-2/+16
2017-09-26bpf: add meta pointer for direct accessDaniel Borkmann1-28/+86
2017-09-19bpf: fix ri->map_owner pointer on bpf_prog_reallocDaniel Borkmann1-1/+6
2017-09-15bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree1-1/+2
2017-09-08bpf: don't select potentially stale ri->map from buggy xdp progsDaniel Borkmann1-0/+16
2017-08-23bpf/verifier: document liveness analysisEdward Cree1-1/+27
2017-08-23bpf/verifier: remove varlen_map_value_access flagEdward Cree1-29/+12
2017-08-23bpf/verifier: when pruning a branch, ignore its write marksEdward Cree1-2/+7
2017-08-19bpf: make htab inlining more robust wrt assumptionsDaniel Borkmann1-1/+5
2017-08-18bpf: Fix map-in-map checking in the verifierMartin KaFai Lau1-0/+1
2017-08-17bpf: fix liveness propagation to parent in spilled stack slotsDaniel Borkmann1-1/+1
2017-08-16bpf: add access to sock fields and pkt data from sk_skb programsJohn Fastabend1-0/+1
2017-08-16bpf: sockmap with sk redirect supportJohn Fastabend1-0/+14
2017-08-15bpf/verifier: track liveness for pruningEdward Cree1-43/+146
2017-08-09bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifierDaniel Borkmann1-4/+58
2017-08-08bpf/verifier: increase complexity limit to 128kEdward Cree1-1/+1
2017-08-08bpf/verifier: more concise register state logs for constant var_offEdward Cree1-19/+27
2017-08-08bpf/verifier: track signed and unsigned min/max valuesEdward Cree1-308/+429