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