summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2018-03-26bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()Martin KaFai Lau
2018-03-26bpf: Rename bpf_verifer_logMartin KaFai Lau
2018-03-23bpf: Remove struct bpf_verifier_env argument from print_bpf_insnJiri Olsa
2018-03-19bpf: create tcp_bpf_ulp allowing BPF to monitor socket TX/RX dataJohn Fastabend
2018-03-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-02-23bpf: allow xadd only on aligned memoryDaniel Borkmann
2018-02-15bpf: Remove unused callee_saved arrayJoe Stringer
2018-01-26bpf: fix subprog verifier bypass by div/mod by 0 exceptionDaniel Borkmann
2018-01-26bpf: make unknown opcode handling more robustDaniel Borkmann
2018-01-26bpf: improve dead code sanitizingDaniel Borkmann
2018-01-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2018-01-19Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-01-19bpf: add upper complexity limit to verifier logDaniel Borkmann
2018-01-19bpf, verifier: detect misconfigured mem, size argument pairDaniel Borkmann
2018-01-17bpf: mark dst unknown on inconsistent {s, u}bounds adjustmentsDaniel Borkmann
2018-01-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-01-16bpf: reject stores into ctx via st and xaddDaniel Borkmann
2018-01-14bpf: offload: add map offload infrastructureJakub Kicinski
2018-01-14bpf: fix 32-bit divide by zeroAlexei Starovoitov
2018-01-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-01-10bpf: arsh is not supported in 32 bit alu thus reject itDaniel Borkmann
2018-01-10bpf: fix spelling mistake: "obusing" -> "abusing"Colin Ian King
2018-01-10bpf: export function to write into verifier log bufferQuentin Monnet
2018-01-09bpf: prevent out-of-bounds speculationAlexei Starovoitov
2018-01-08bpf: fix verifier GPF in kmalloc failure pathAlexei Starovoitov
2017-12-31bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski
2017-12-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2017-12-27bpf: fix max call depth checkAlexei Starovoitov
2017-12-27bpf: fix maximum stack depth tracking logicAlexei Starovoitov
2017-12-23bpf: fix stacksafe exploration when comparing statesGianluca Borello
2017-12-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-12-20bpf: allow for correlation of maps and helpers in dumpDaniel Borkmann
2017-12-20bpf: fix kallsyms handling for subprogsDaniel Borkmann
2017-12-21bpf: do not allow root to mangle valid pointersAlexei Starovoitov
2017-12-21bpf: fix integer overflowsAlexei Starovoitov
2017-12-21bpf: don't prune branches when a scalar is replaced with a pointerJann Horn
2017-12-21bpf: force strict alignment checks for stack pointersJann Horn
2017-12-21bpf: fix missing error return in check_stack_boundary()Jann Horn
2017-12-21bpf: fix 32-bit ALU op verificationJann Horn
2017-12-21bpf: fix incorrect tracking of register size truncationJann Horn
2017-12-21bpf: fix incorrect sign extension in check_alu_op()Jann Horn
2017-12-21bpf/verifier: fix bounds calculation on BPF_RSHEdward Cree
2017-12-19bpf: make function skip_callee static and return NULL rather than 0Colin Ian King
2017-12-19bpf: fix spelling mistake: "funcation"-> "function"Colin Ian King
2017-12-17bpf: x64: add JIT support for multi-function programsAlexei Starovoitov
2017-12-17bpf: fix net.core.bpf_jit_enable raceAlexei Starovoitov
2017-12-17bpf: add support for bpf_call to interpreterAlexei Starovoitov
2017-12-17bpf: teach verifier to recognize zero initialized stackAlexei Starovoitov
2017-12-17bpf: introduce function calls (verification)Alexei Starovoitov
2017-12-17bpf: introduce function calls (function boundaries)Alexei Starovoitov