summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* bpf/verifier: more concise register state logs for constant var_offEdward Cree2017-08-081-19/+27
* bpf/verifier: track signed and unsigned min/max valuesEdward Cree2017-08-081-308/+429
* bpf/verifier: rework value trackingEdward Cree2017-08-081-806/+974
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-08-011-6/+15
|\
| * bpf/verifier: fix min/max handling in BPF_SUBEdward Cree2017-07-241-6/+15
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-07-211-14/+94
|\ \ | |/
| * bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann2017-07-201-14/+94
* | net: add notifier hooks for devmap bpf mapJohn Fastabend2017-07-171-1/+1
* | bpf: add bpf_redirect_map helper routineJohn Fastabend2017-07-171-0/+4
* | bpf: add devmap, a map for storing net device referencesJohn Fastabend2017-07-171-0/+8
|/
* bpf, verifier: add additional patterns to evaluate_reg_imm_aluJohn Fastabend2017-07-031-0/+62
* bpf: simplify narrower ctx accessDaniel Borkmann2017-07-031-44/+34
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-06-301-0/+5
|\
| * bpf: prevent leaking pointer via xadd on unpriviledgedDaniel Borkmann2017-06-291-0/+5
* | bpf: possibly avoid extra masking for narrower load in verifierYonghong Song2017-06-231-8/+21
* | bpf: permits narrower load from bpf program context fieldsYonghong Song2017-06-141-19/+52
* | bpf: reset id on spilled regs in clear_all_pkt_pointersDaniel Borkmann2017-06-101-2/+2
* | bpf: reset id on CONST_IMM transitionDaniel Borkmann2017-06-101-0/+2
* | bpf: don't check spilled reg state for non-STACK_SPILLed type slotsDaniel Borkmann2017-06-101-0/+2
OpenPOWER on IntegriCloud