summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2017-08-23bpf/verifier: document liveness analysisEdward Cree
2017-08-23bpf/verifier: remove varlen_map_value_access flagEdward Cree
2017-08-23bpf/verifier: when pruning a branch, ignore its write marksEdward Cree
2017-08-19bpf: make htab inlining more robust wrt assumptionsDaniel Borkmann
2017-08-18bpf: Fix map-in-map checking in the verifierMartin KaFai Lau
2017-08-17bpf: fix liveness propagation to parent in spilled stack slotsDaniel Borkmann
2017-08-16bpf: add access to sock fields and pkt data from sk_skb programsJohn Fastabend
2017-08-16bpf: sockmap with sk redirect supportJohn Fastabend
2017-08-15bpf/verifier: track liveness for pruningEdward Cree
2017-08-09bpf: enable BPF_J{LT, LE, SLT, SLE} opcodes in verifierDaniel Borkmann
2017-08-08bpf/verifier: increase complexity limit to 128kEdward Cree
2017-08-08bpf/verifier: more concise register state logs for constant var_offEdward Cree
2017-08-08bpf/verifier: track signed and unsigned min/max valuesEdward Cree
2017-08-08bpf/verifier: rework value trackingEdward Cree
2017-08-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-07-24bpf/verifier: fix min/max handling in BPF_SUBEdward Cree
2017-07-21Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-07-20bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann
2017-07-17net: add notifier hooks for devmap bpf mapJohn Fastabend
2017-07-17bpf: add bpf_redirect_map helper routineJohn Fastabend
2017-07-17bpf: add devmap, a map for storing net device referencesJohn Fastabend
2017-07-03bpf, verifier: add additional patterns to evaluate_reg_imm_aluJohn Fastabend
2017-07-03bpf: simplify narrower ctx accessDaniel Borkmann
2017-06-30Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-06-29bpf: prevent leaking pointer via xadd on unpriviledgedDaniel Borkmann
2017-06-23bpf: possibly avoid extra masking for narrower load in verifierYonghong Song
2017-06-14bpf: permits narrower load from bpf program context fieldsYonghong Song
2017-06-10bpf: reset id on spilled regs in clear_all_pkt_pointersDaniel Borkmann
2017-06-10bpf: reset id on CONST_IMM transitionDaniel Borkmann
2017-06-10bpf: don't check spilled reg state for non-STACK_SPILLed type slotsDaniel Borkmann
2017-06-06bpf: cgroup skb progs cannot access ld_abs/indDaniel Borkmann
2017-06-02bpf: Allow CGROUP_SKB eBPF program to access sk_buffChenbo Feng
2017-05-31bpf: reconcile bpf_tail_call and stack_depthAlexei Starovoitov
2017-05-31bpf: teach verifier to track stack depthAlexei Starovoitov
2017-05-31bpf: free up BPF_JMP | BPF_CALL | BPF_X opcodeAlexei Starovoitov
2017-05-25bpf: properly reset caller saved regs after helper call and ld_abs/indDaniel Borkmann
2017-05-25bpf: fix incorrect pruning decision when alignment must be trackedDaniel Borkmann
2017-05-22net: Make IP alignment calulations clearer.David S. Miller
2017-05-17bpf: adjust verifier heuristicsDaniel Borkmann
2017-05-11bpf: Handle multiple variable additions into packet pointers in verifier.David S. Miller
2017-05-11bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller
2017-05-11bpf: Do per-instruction state dumping in verifier when log_level > 1.David S. Miller
2017-05-11bpf: Track alignment of register values in the verifier.David S. Miller
2017-05-08bpf: don't let ldimm64 leak map addresses on unprivilegedDaniel Borkmann
2017-05-01bpf: enhance verifier to understand stack pointer arithmeticYonghong Song
2017-04-24bpf: make bpf_xdp_adjust_head support mandatoryDaniel Borkmann
2017-04-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-04-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-04-01bpf, verifier: fix rejection of unaligned access checks for map_value_adjDaniel Borkmann
2017-04-01bpf, verifier: fix alu ops against map_value{, _adj} register typesDaniel Borkmann