summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Hooks for sys_bindAndrey Ignatov2018-03-311-0/+1
* bpf: Check attach type at prog load timeAndrey Ignatov2018-03-311-3/+3
* bpf: Add bpf_verifier_vlog() and bpf_verifier_log_needed()Martin KaFai Lau2018-03-261-8/+11
* bpf: Rename bpf_verifer_logMartin KaFai Lau2018-03-261-2/+2
* bpf: Remove struct bpf_verifier_env argument from print_bpf_insnJiri Olsa2018-03-231-17/+27
* bpf: create tcp_bpf_ulp allowing BPF to monitor socket TX/RX dataJohn Fastabend2018-03-191-1/+4
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2018-03-061-16/+26
|\
| * bpf: allow xadd only on aligned memoryDaniel Borkmann2018-02-231-16/+26
* | bpf: Remove unused callee_saved arrayJoe Stringer2018-02-151-4/+0
|/
* 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