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