summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* | bpf: cgroup skb progs cannot access ld_abs/indDaniel Borkmann2017-06-061-1/+0
* | bpf: Allow CGROUP_SKB eBPF program to access sk_buffChenbo Feng2017-06-021-0/+1
* | bpf: reconcile bpf_tail_call and stack_depthAlexei Starovoitov2017-05-311-0/+1
* | bpf: teach verifier to track stack depthAlexei Starovoitov2017-05-311-1/+9
* | bpf: free up BPF_JMP | BPF_CALL | BPF_X opcodeAlexei Starovoitov2017-05-311-1/+1
|/
* bpf: properly reset caller saved regs after helper call and ld_abs/indDaniel Borkmann2017-05-251-21/+16
* bpf: fix incorrect pruning decision when alignment must be trackedDaniel Borkmann2017-05-251-9/+10
* net: Make IP alignment calulations clearer.David S. Miller2017-05-221-4/+8
* bpf: adjust verifier heuristicsDaniel Borkmann2017-05-171-1/+11
* bpf: Handle multiple variable additions into packet pointers in verifier.David S. Miller2017-05-111-1/+1
* bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller2017-05-111-6/+17
* bpf: Do per-instruction state dumping in verifier when log_level > 1.David S. Miller2017-05-111-2/+6
* bpf: Track alignment of register values in the verifier.David S. Miller2017-05-111-19/+89
* bpf: don't let ldimm64 leak map addresses on unprivilegedDaniel Borkmann2017-05-081-5/+16
* bpf: enhance verifier to understand stack pointer arithmeticYonghong Song2017-05-011-0/+11
* bpf: make bpf_xdp_adjust_head support mandatoryDaniel Borkmann2017-04-241-3/+0
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-04-201-0/+8
|\
* \ Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-04-061-22/+42
|\ \ | |/
OpenPOWER on IntegriCloud