summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2017-08-09bpf/verifier: increase complexity limit to 128kEdward Cree1-1/+1
2017-08-09bpf/verifier: more concise register state logs for constant var_offEdward Cree1-19/+27
2017-08-09bpf/verifier: track signed and unsigned min/max valuesEdward Cree1-308/+429
2017-08-09bpf/verifier: rework value trackingEdward Cree1-806/+974
2017-08-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-6/+15
2017-07-25bpf/verifier: fix min/max handling in BPF_SUBEdward Cree1-6/+15
2017-07-21Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-14/+94
2017-07-21bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann1-14/+94
2017-07-17net: add notifier hooks for devmap bpf mapJohn Fastabend1-1/+1
2017-07-17bpf: add bpf_redirect_map helper routineJohn Fastabend1-0/+4
2017-07-17bpf: add devmap, a map for storing net device referencesJohn Fastabend1-0/+8
2017-07-03bpf, verifier: add additional patterns to evaluate_reg_imm_aluJohn Fastabend1-0/+62
2017-07-03bpf: simplify narrower ctx accessDaniel Borkmann1-44/+34
2017-06-30Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-0/+5
2017-06-29bpf: prevent leaking pointer via xadd on unpriviledgedDaniel Borkmann1-0/+5
2017-06-23bpf: possibly avoid extra masking for narrower load in verifierYonghong Song1-8/+21
2017-06-14bpf: permits narrower load from bpf program context fieldsYonghong Song1-19/+52
2017-06-11bpf: reset id on spilled regs in clear_all_pkt_pointersDaniel Borkmann1-2/+2
2017-06-11bpf: reset id on CONST_IMM transitionDaniel Borkmann1-0/+2
2017-06-11bpf: don't check spilled reg state for non-STACK_SPILLed type slotsDaniel Borkmann1-0/+2
2017-06-06bpf: cgroup skb progs cannot access ld_abs/indDaniel Borkmann1-1/+0
2017-06-02bpf: Allow CGROUP_SKB eBPF program to access sk_buffChenbo Feng1-0/+1
2017-06-01bpf: reconcile bpf_tail_call and stack_depthAlexei Starovoitov1-0/+1
2017-06-01bpf: teach verifier to track stack depthAlexei Starovoitov1-1/+9
2017-06-01bpf: free up BPF_JMP | BPF_CALL | BPF_X opcodeAlexei Starovoitov1-1/+1
2017-05-25bpf: properly reset caller saved regs after helper call and ld_abs/indDaniel Borkmann1-21/+16
2017-05-25bpf: fix incorrect pruning decision when alignment must be trackedDaniel Borkmann1-9/+10
2017-05-22net: Make IP alignment calulations clearer.David S. Miller1-4/+8
2017-05-18bpf: adjust verifier heuristicsDaniel Borkmann1-1/+11
2017-05-12bpf: Handle multiple variable additions into packet pointers in verifier.David S. Miller1-1/+1
2017-05-11bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller1-6/+17
2017-05-11bpf: Do per-instruction state dumping in verifier when log_level > 1.David S. Miller1-2/+6
2017-05-11bpf: Track alignment of register values in the verifier.David S. Miller1-19/+89
2017-05-08bpf: don't let ldimm64 leak map addresses on unprivilegedDaniel Borkmann1-5/+16
2017-05-01bpf: enhance verifier to understand stack pointer arithmeticYonghong Song1-0/+11
2017-04-24bpf: make bpf_xdp_adjust_head support mandatoryDaniel Borkmann1-3/+0
2017-04-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-0/+8
2017-04-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-22/+42
2017-04-01bpf, verifier: fix rejection of unaligned access checks for map_value_adjDaniel Borkmann1-20/+38
2017-04-01bpf, verifier: fix alu ops against map_value{, _adj} register typesDaniel Borkmann1-0/+1
2017-03-25bpf: improve verifier packet range checksAlexei Starovoitov1-2/+3
2017-03-23bpf: Add hash of maps supportMartin KaFai Lau1-1/+3
2017-03-23bpf: Add array of maps supportMartin KaFai Lau1-9/+33
2017-03-23bpf: Fix and simplifications on inline map lookupMartin KaFai Lau1-2/+11
2017-03-17bpf: add helper inlining infra and optimize map_array lookupAlexei Starovoitov1-3/+33
2017-03-17bpf: adjust insn_aux_data when patching insnsAlexei Starovoitov1-5/+39
2017-03-17bpf: refactor fixup_bpf_calls()Alexei Starovoitov1-41/+35
2017-03-17bpf: move fixup_bpf_calls() functionAlexei Starovoitov1-0/+57
2017-03-02bpf: update the comment about the length of analysisGary Lin1-1/+1
2017-02-23bpf: fix spelling mistake: "proccessed" -> "processed"Colin Ian King1-1/+1