aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2018-01-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-4/+50
2018-01-10bpf: export function to write into verifier log bufferGravatar Quentin Monnet 1-4/+12
2018-01-09bpf: prevent out-of-bounds speculationGravatar Alexei Starovoitov 1-0/+36
2018-01-08bpf: fix verifier GPF in kmalloc failure pathGravatar Alexei Starovoitov 1-0/+4
2017-12-31bpf: offload: allow netdev to disappear while verifier is runningGravatar Jakub Kicinski 1-13/+7
2017-12-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextGravatar David S. Miller 1-25/+101
2017-12-27bpf: fix max call depth checkGravatar Alexei Starovoitov 1-2/+2
2017-12-27bpf: fix maximum stack depth tracking logicGravatar Alexei Starovoitov 1-16/+66
2017-12-23bpf: fix stacksafe exploration when comparing statesGravatar Gianluca Borello 1-1/+1
2017-12-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netGravatar David S. Miller 1-117/+166
2017-12-20bpf: allow for correlation of maps and helpers in dumpGravatar Daniel Borkmann 1-4/+26
2017-12-20bpf: fix kallsyms handling for subprogsGravatar Daniel Borkmann 1-0/+3
2017-12-21bpf: do not allow root to mangle valid pointersGravatar Alexei Starovoitov 1-68/+34
2017-12-21bpf: fix integer overflowsGravatar Alexei Starovoitov 1-0/+48
2017-12-21bpf: don't prune branches when a scalar is replaced with a pointerGravatar Jann Horn 1-8/+7
2017-12-21bpf: force strict alignment checks for stack pointersGravatar Jann Horn 1-0/+5
2017-12-21bpf: fix missing error return in check_stack_boundary()Gravatar Jann Horn 1-0/+1
2017-12-21bpf: fix 32-bit ALU op verificationGravatar Jann Horn 1-11/+17
2017-12-21bpf: fix incorrect tracking of register size truncationGravatar Jann Horn 1-17/+27
2017-12-21bpf: fix incorrect sign extension in check_alu_op()Gravatar Jann Horn 1-1/+7
2017-12-21bpf/verifier: fix bounds calculation on BPF_RSHGravatar Edward Cree 1-14/+16
2017-12-19bpf: make function skip_callee static and return NULL rather than 0Gravatar Colin Ian King 1-1/+2
2017-12-19bpf: fix spelling mistake: "funcation"-> "function"Gravatar Colin Ian King 1-1/+1
2017-12-17bpf: x64: add JIT support for multi-function programsGravatar Alexei Starovoitov 1-0/+126
2017-12-17bpf: fix net.core.bpf_jit_enable raceGravatar Alexei Starovoitov 1-1/+1
2017-12-17bpf: add support for bpf_call to interpreterGravatar Alexei Starovoitov 1-0/+36
2017-12-17bpf: teach verifier to recognize zero initialized stackGravatar Alexei Starovoitov 1-28/+101
2017-12-17bpf: introduce function calls (verification)Gravatar Alexei Starovoitov 1-151/+551
2017-12-17bpf: introduce function calls (function boundaries)Gravatar Alexei Starovoitov 1-2/+139
2017-12-15bpf: guarantee r1 to be ctx in case of bpf_helper_changes_pkt_dataGravatar Daniel Borkmann 1-0/+6
2017-12-12bpf: add a bpf_override_function helperGravatar Josef Bacik 1-0/+2
2017-12-01bpf: cleanup register_is_null()Gravatar Alexei Starovoitov 1-10/+10
2017-12-01bpf: improve JEQ/JNE path walkingGravatar Alexei Starovoitov 1-2/+3
2017-12-01bpf: improve verifier liveness marksGravatar Alexei Starovoitov 1-0/+5
2017-12-01bpf: don't mark FP reg as uninitGravatar Alexei Starovoitov 1-4/+4
2017-12-01bpf: print liveness info to verifier logGravatar Alexei Starovoitov 1-4/+20
2017-12-01bpf: fix stack state printing in verifier logGravatar Alexei Starovoitov 1-1/+1
2017-11-23bpf: fix branch pruning logicGravatar Alexei Starovoitov 1-0/+27
2017-11-22bpf: introduce ARG_PTR_TO_MEM_OR_NULLGravatar Gianluca Borello 1-1/+3
2017-11-14bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semanticsGravatar Yonghong Song 1-16/+24
2017-11-11bpf: Revert bpf_overrid_function() helper changes.Gravatar David S. Miller 1-2/+0
2017-11-11bpf: add a bpf_override_function helperGravatar Josef Bacik 1-0/+2
2017-11-05bpf, cgroup: implement eBPF-based device controller for cgroup v2Gravatar Roman Gushchin 1-0/+1
2017-11-05bpf: remove old offload/analyzerGravatar Jakub Kicinski 1-75/+0
2017-11-05bpf: offload: add infrastructure for loading programs for a specific netdevGravatar Jakub Kicinski 1-3/+12
2017-11-03bpf: fix verifier NULL pointer dereferenceGravatar Craig Gallek 1-4/+8
2017-11-03bpf: fix out-of-bounds access warning in bpf_checkGravatar Arnd Bergmann 1-0/+4
2017-11-03bpf: fix link error without CONFIG_NETGravatar Arnd Bergmann 1-0/+2
2017-11-02bpf: also improve pattern matches for meta accessGravatar Daniel Borkmann 1-69/+96
2017-11-02bpf: minor cleanups after mergeGravatar Daniel Borkmann 1-1/+1