aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2017-07-20bpf: fix mixed signed/unsigned derived min/max value boundsGravatar Daniel Borkmann 1-14/+94
2017-07-03bpf, verifier: add additional patterns to evaluate_reg_imm_aluGravatar John Fastabend 1-0/+62
2017-07-03bpf: simplify narrower ctx accessGravatar Daniel Borkmann 1-44/+34
2017-06-30Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-0/+5
2017-06-29bpf: prevent leaking pointer via xadd on unpriviledgedGravatar Daniel Borkmann 1-0/+5
2017-06-23bpf: possibly avoid extra masking for narrower load in verifierGravatar Yonghong Song 1-8/+21
2017-06-14bpf: permits narrower load from bpf program context fieldsGravatar Yonghong Song 1-19/+52
2017-06-10bpf: reset id on spilled regs in clear_all_pkt_pointersGravatar Daniel Borkmann 1-2/+2
2017-06-10bpf: reset id on CONST_IMM transitionGravatar Daniel Borkmann 1-0/+2
2017-06-10bpf: don't check spilled reg state for non-STACK_SPILLed type slotsGravatar Daniel Borkmann 1-0/+2
2017-06-06bpf: cgroup skb progs cannot access ld_abs/indGravatar Daniel Borkmann 1-1/+0
2017-06-02bpf: Allow CGROUP_SKB eBPF program to access sk_buffGravatar Chenbo Feng 1-0/+1
2017-05-31bpf: reconcile bpf_tail_call and stack_depthGravatar Alexei Starovoitov 1-0/+1
2017-05-31bpf: teach verifier to track stack depthGravatar Alexei Starovoitov 1-1/+9
2017-05-31bpf: free up BPF_JMP | BPF_CALL | BPF_X opcodeGravatar Alexei Starovoitov 1-1/+1
2017-05-25bpf: properly reset caller saved regs after helper call and ld_abs/indGravatar Daniel Borkmann 1-21/+16
2017-05-25bpf: fix incorrect pruning decision when alignment must be trackedGravatar Daniel Borkmann 1-9/+10
2017-05-22net: Make IP alignment calulations clearer.Gravatar David S. Miller 1-4/+8
2017-05-17bpf: adjust verifier heuristicsGravatar Daniel Borkmann 1-1/+11
2017-05-11bpf: Handle multiple variable additions into packet pointers in verifier.Gravatar David S. Miller 1-1/+1
2017-05-11bpf: Add strict alignment flag for BPF_PROG_LOAD.Gravatar David S. Miller 1-6/+17
2017-05-11bpf: Do per-instruction state dumping in verifier when log_level > 1.Gravatar David S. Miller 1-2/+6
2017-05-11bpf: Track alignment of register values in the verifier.Gravatar David S. Miller 1-19/+89
2017-05-08bpf: don't let ldimm64 leak map addresses on unprivilegedGravatar Daniel Borkmann 1-5/+16
2017-05-01bpf: enhance verifier to understand stack pointer arithmeticGravatar Yonghong Song 1-0/+11
2017-04-24bpf: make bpf_xdp_adjust_head support mandatoryGravatar Daniel Borkmann 1-3/+0
2017-04-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-0/+8
2017-04-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-22/+42
2017-04-01bpf, verifier: fix rejection of unaligned access checks for map_value_adjGravatar Daniel Borkmann 1-20/+38
2017-04-01bpf, verifier: fix alu ops against map_value{, _adj} register typesGravatar Daniel Borkmann 1-0/+1
2017-03-24bpf: improve verifier packet range checksGravatar Alexei Starovoitov 1-2/+3
2017-03-22bpf: Add hash of maps supportGravatar Martin KaFai Lau 1-1/+3
2017-03-22bpf: Add array of maps supportGravatar Martin KaFai Lau 1-9/+33
2017-03-22bpf: Fix and simplifications on inline map lookupGravatar Martin KaFai Lau 1-2/+11
2017-03-16bpf: add helper inlining infra and optimize map_array lookupGravatar Alexei Starovoitov 1-3/+33
2017-03-16bpf: adjust insn_aux_data when patching insnsGravatar Alexei Starovoitov 1-5/+39
2017-03-16bpf: refactor fixup_bpf_calls()Gravatar Alexei Starovoitov 1-41/+35
2017-03-16bpf: move fixup_bpf_calls() functionGravatar Alexei Starovoitov 1-0/+57
2017-03-01bpf: update the comment about the length of analysisGravatar Gary Lin 1-1/+1
2017-02-23bpf: fix spelling mistake: "proccessed" -> "processed"Gravatar Colin Ian King 1-1/+1
2017-02-14bpf: reduce compiler warnings by adding fallthrough commentsGravatar Alexander Alemayhu 1-0/+5
2017-02-06bpf: enable verifier to add 0 to packet ptrGravatar William Tu 1-1/+1
2017-01-24bpf: enable verifier to better track const alu opsGravatar Daniel Borkmann 1-19/+45
2017-01-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-1/+1
2017-01-16bpf: rework prog_digest into prog_tagGravatar Daniel Borkmann 1-1/+1
2017-01-12bpf: allow b/h/w/dw access for bpf's cb in ctxGravatar Daniel Borkmann 1-2/+6
2017-01-12bpf: pass original insn directly to convert_ctx_accessGravatar Daniel Borkmann 1-2/+1
2017-01-09bpf: rename ARG_PTR_TO_STACKGravatar Alexei Starovoitov 1-14/+14
2017-01-09bpf: allow helpers access to variable memoryGravatar Gianluca Borello 1-10/+64
2017-01-09bpf: allow adjusted map element values to spillGravatar Gianluca Borello 1-5/+16