summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2017-10-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-10-22bpf: fix pattern matches for direct packet accessDaniel Borkmann
2017-10-22bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann
2017-10-18bpf: move knowledge about post-translation offsets out of verifierJakub Kicinski
2017-10-18bpf: remove the verifier ops from program structureJakub Kicinski
2017-10-18bpf: split verifier and program opsJakub Kicinski
2017-10-18bpf: disallow arithmetic operations on context pointerJakub Kicinski
2017-10-18bpf: XDP_REDIRECT enable use of cpumapJesper Dangaard Brouer
2017-10-18bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAPJesper Dangaard Brouer
2017-10-14bpf: verifier: set reg_type on context accesses in second passJakub Kicinski
2017-10-10bpf: write back the verifier log buffer as it gets filledJakub Kicinski
2017-10-10bpf: move instruction printing into a separate fileJakub Kicinski
2017-10-10bpf: move global verifier log into verifier environmentJakub Kicinski
2017-10-10bpf: encapsulate verifier log state into a structureJakub Kicinski
2017-10-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-10-07bpf: fix liveness markingAlexei Starovoitov
2017-10-07bpf: add helper bpf_perf_event_read_value for perf event array mapYonghong Song
2017-10-04bpf: enforce return code for cgroup-bpf programsAlexei Starovoitov
2017-09-28bpf/verifier: improve disassembly of BPF_NEG instructionsEdward Cree
2017-09-28bpf/verifier: improve disassembly of BPF_END instructionsEdward Cree
2017-09-26bpf: add meta pointer for direct accessDaniel Borkmann
2017-09-19bpf: fix ri->map_owner pointer on bpf_prog_reallocDaniel Borkmann
2017-09-15bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree
2017-09-08bpf: don't select potentially stale ri->map from buggy xdp progsDaniel Borkmann
2017-08-23bpf/verifier: document liveness analysisEdward Cree
2017-08-23bpf/verifier: remove varlen_map_value_access flagEdward Cree
2017-08-23bpf/verifier: when pruning a branch, ignore its write marksEdward Cree
2017-08-19bpf: make htab inlining more robust wrt assumptionsDaniel Borkmann
2017-08-18bpf: Fix map-in-map checking in the verifierMartin KaFai Lau
2017-08-17bpf: fix liveness propagation to parent in spilled stack slotsDaniel Borkmann
2017-08-16bpf: add access to sock fields and pkt data from sk_skb programsJohn Fastabend
2017-08-16bpf: sockmap with sk redirect supportJohn Fastabend
2017-08-15bpf/verifier: track liveness for pruningEdward Cree
2017-08-09bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifierDaniel Borkmann
2017-08-08bpf/verifier: increase complexity limit to 128kEdward Cree
2017-08-08bpf/verifier: more concise register state logs for constant var_offEdward Cree
2017-08-08bpf/verifier: track signed and unsigned min/max valuesEdward Cree
2017-08-08bpf/verifier: rework value trackingEdward Cree
2017-08-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-07-24bpf/verifier: fix min/max handling in BPF_SUBEdward Cree
2017-07-21Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-07-20bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann
2017-07-17net: add notifier hooks for devmap bpf mapJohn Fastabend
2017-07-17bpf: add bpf_redirect_map helper routineJohn Fastabend
2017-07-17bpf: add devmap, a map for storing net device referencesJohn Fastabend
2017-07-03bpf, verifier: add additional patterns to evaluate_reg_imm_aluJohn Fastabend
2017-07-03bpf: simplify narrower ctx accessDaniel Borkmann
2017-06-30Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-06-29bpf: prevent leaking pointer via xadd on unpriviledgedDaniel Borkmann
2017-06-23bpf: possibly avoid extra masking for narrower load in verifierYonghong Song