summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann2017-07-201-14/+94
* 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
|\ \ | |/
| * bpf, verifier: fix rejection of unaligned access checks for map_value_adjDaniel Borkmann2017-04-011-20/+38
| * bpf, verifier: fix alu ops against map_value{, _adj} register typesDaniel Borkmann2017-04-011-0/+1
| * bpf: improve verifier packet range checksAlexei Starovoitov2017-03-241-2/+3
* | bpf: Add hash of maps supportMartin KaFai Lau2017-03-221-1/+3
* | bpf: Add array of maps supportMartin KaFai Lau2017-03-221-9/+33
* | bpf: Fix and simplifications on inline map lookupMartin KaFai Lau2017-03-221-2/+11
* | bpf: add helper inlining infra and optimize map_array lookupAlexei Starovoitov2017-03-161-3/+33
* | bpf: adjust insn_aux_data when patching insnsAlexei Starovoitov2017-03-161-5/+39
* | bpf: refactor fixup_bpf_calls()Alexei Starovoitov2017-03-161-41/+35
* | bpf: move fixup_bpf_calls() functionAlexei Starovoitov2017-03-161-0/+57
|/
* bpf: update the comment about the length of analysisGary Lin2017-03-011-1/+1
* bpf: fix spelling mistake: "proccessed" -> "processed"Colin Ian King2017-02-231-1/+1
* bpf: reduce compiler warnings by adding fallthrough commentsAlexander Alemayhu2017-02-141-0/+5
* bpf: enable verifier to add 0 to packet ptrWilliam Tu2017-02-061-1/+1
* bpf: enable verifier to better track const alu opsDaniel Borkmann2017-01-241-19/+45
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-01-171-1/+1
|\
| * bpf: rework prog_digest into prog_tagDaniel Borkmann2017-01-161-1/+1
* | bpf: allow b/h/w/dw access for bpf's cb in ctxDaniel Borkmann2017-01-121-2/+6
* | bpf: pass original insn directly to convert_ctx_accessDaniel Borkmann2017-01-121-2/+1
* | bpf: rename ARG_PTR_TO_STACKAlexei Starovoitov2017-01-091-14/+14
* | bpf: allow helpers access to variable memoryGianluca Borello2017-01-091-10/+64
* | bpf: allow adjusted map element values to spillGianluca Borello2017-01-091-5/+16
OpenPOWER on IntegriCloud