aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2017-10-22bpf: fix pattern matches for direct packet accessGravatar Daniel Borkmann 1-0/+24
2017-10-22bpf: fix off by one for range markings with L{T, E} patternsGravatar Daniel Borkmann 1-12/+21
2017-10-18bpf: disallow arithmetic operations on context pointerGravatar Jakub Kicinski 1-2/+6
2017-10-07bpf: fix liveness markingGravatar Alexei Starovoitov 1-0/+5
2017-09-19bpf: fix ri->map_owner pointer on bpf_prog_reallocGravatar Daniel Borkmann 1-1/+6
2017-09-15bpf/verifier: reject BPF_ALU64|BPF_ENDGravatar Edward Cree 1-1/+2
2017-09-08bpf: don't select potentially stale ri->map from buggy xdp progsGravatar Daniel Borkmann 1-0/+16
2017-08-23bpf/verifier: document liveness analysisGravatar Edward Cree 1-1/+27
2017-08-23bpf/verifier: remove varlen_map_value_access flagGravatar Edward Cree 1-29/+12
2017-08-23bpf/verifier: when pruning a branch, ignore its write marksGravatar Edward Cree 1-2/+7
2017-08-19bpf: make htab inlining more robust wrt assumptionsGravatar Daniel Borkmann 1-1/+5
2017-08-18bpf: Fix map-in-map checking in the verifierGravatar Martin KaFai Lau 1-0/+1
2017-08-17bpf: fix liveness propagation to parent in spilled stack slotsGravatar Daniel Borkmann 1-1/+1
2017-08-16bpf: add access to sock fields and pkt data from sk_skb programsGravatar John Fastabend 1-0/+1
2017-08-16bpf: sockmap with sk redirect supportGravatar John Fastabend 1-0/+14
2017-08-15bpf/verifier: track liveness for pruningGravatar Edward Cree 1-43/+146
2017-08-09bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifierGravatar Daniel Borkmann 1-4/+58
2017-08-08bpf/verifier: increase complexity limit to 128kGravatar Edward Cree 1-1/+1
2017-08-08bpf/verifier: more concise register state logs for constant var_offGravatar Edward Cree 1-19/+27
2017-08-08bpf/verifier: track signed and unsigned min/max valuesGravatar Edward Cree 1-308/+429
2017-08-08bpf/verifier: rework value trackingGravatar Edward Cree 1-806/+974
2017-08-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-6/+15
2017-07-24bpf/verifier: fix min/max handling in BPF_SUBGravatar Edward Cree 1-6/+15
2017-07-21Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-14/+94
2017-07-20bpf: fix mixed signed/unsigned derived min/max value boundsGravatar Daniel Borkmann 1-14/+94
2017-07-17net: add notifier hooks for devmap bpf mapGravatar John Fastabend 1-1/+1
2017-07-17bpf: add bpf_redirect_map helper routineGravatar John Fastabend 1-0/+4
2017-07-17bpf: add devmap, a map for storing net device referencesGravatar John Fastabend 1-0/+8
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