summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2018-01-26bpf: fix subprog verifier bypass by div/mod by 0 exceptionDaniel Borkmann-8/+30
2018-01-26bpf: make unknown opcode handling more robustDaniel Borkmann-0/+7
2018-01-26bpf: improve dead code sanitizingDaniel Borkmann-5/+12
2018-01-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-25/+57
2018-01-19Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-11/+53
2018-01-19bpf: add upper complexity limit to verifier logDaniel Borkmann-1/+2
2018-01-19bpf, verifier: detect misconfigured mem, size argument pairDaniel Borkmann-24/+55
2018-01-17bpf: mark dst unknown on inconsistent {s, u}bounds adjustmentsDaniel Borkmann-11/+16
2018-01-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-1/+6
2018-01-16bpf: reject stores into ctx via st and xaddDaniel Borkmann-0/+19
2018-01-14bpf: offload: add map offload infrastructureJakub Kicinski-0/+7
2018-01-14bpf: fix 32-bit divide by zeroAlexei Starovoitov-0/+18
2018-01-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-4/+50
2018-01-10bpf: arsh is not supported in 32 bit alu thus reject itDaniel Borkmann-0/+5
2018-01-10bpf: fix spelling mistake: "obusing" -> "abusing"Colin Ian King-1/+1
2018-01-10bpf: export function to write into verifier log bufferQuentin Monnet-4/+12
2018-01-09bpf: prevent out-of-bounds speculationAlexei Starovoitov-0/+36
2018-01-08bpf: fix verifier GPF in kmalloc failure pathAlexei Starovoitov-0/+4
2017-12-31bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski-13/+7
2017-12-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-25/+101
2017-12-27bpf: fix max call depth checkAlexei Starovoitov-2/+2
2017-12-27bpf: fix maximum stack depth tracking logicAlexei Starovoitov-16/+66
2017-12-23bpf: fix stacksafe exploration when comparing statesGianluca Borello-1/+1
2017-12-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-117/+166
2017-12-20bpf: allow for correlation of maps and helpers in dumpDaniel Borkmann-4/+26
2017-12-20bpf: fix kallsyms handling for subprogsDaniel Borkmann-0/+3
2017-12-21bpf: do not allow root to mangle valid pointersAlexei Starovoitov-68/+34
2017-12-21bpf: fix integer overflowsAlexei Starovoitov-0/+48
2017-12-21bpf: don't prune branches when a scalar is replaced with a pointerJann Horn-8/+7
2017-12-21bpf: force strict alignment checks for stack pointersJann Horn-0/+5
2017-12-21bpf: fix missing error return in check_stack_boundary()Jann Horn-0/+1
2017-12-21bpf: fix 32-bit ALU op verificationJann Horn-11/+17
2017-12-21bpf: fix incorrect tracking of register size truncationJann Horn-17/+27
2017-12-21bpf: fix incorrect sign extension in check_alu_op()Jann Horn-1/+7
2017-12-21bpf/verifier: fix bounds calculation on BPF_RSHEdward Cree-14/+16
2017-12-19bpf: make function skip_callee static and return NULL rather than 0Colin Ian King-1/+2
2017-12-19bpf: fix spelling mistake: "funcation"-> "function"Colin Ian King-1/+1
2017-12-17bpf: x64: add JIT support for multi-function programsAlexei Starovoitov-0/+126
2017-12-17bpf: fix net.core.bpf_jit_enable raceAlexei Starovoitov-1/+1
2017-12-17bpf: add support for bpf_call to interpreterAlexei Starovoitov-0/+36
2017-12-17bpf: teach verifier to recognize zero initialized stackAlexei Starovoitov-28/+101
2017-12-17bpf: introduce function calls (verification)Alexei Starovoitov-151/+551
2017-12-17bpf: introduce function calls (function boundaries)Alexei Starovoitov-2/+139
2017-12-15bpf: guarantee r1 to be ctx in case of bpf_helper_changes_pkt_dataDaniel Borkmann-0/+6
2017-12-12bpf: add a bpf_override_function helperJosef Bacik-0/+2
2017-12-01bpf: cleanup register_is_null()Alexei Starovoitov-10/+10
2017-12-01bpf: improve JEQ/JNE path walkingAlexei Starovoitov-2/+3
2017-12-01bpf: improve verifier liveness marksAlexei Starovoitov-0/+5
2017-12-01bpf: don't mark FP reg as uninitAlexei Starovoitov-4/+4
2017-12-01bpf: print liveness info to verifier logAlexei Starovoitov-4/+20