summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2018-01-14bpf: offload: add map offload infrastructureJakub Kicinski
2018-01-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-01-10bpf: export function to write into verifier log bufferQuentin Monnet
2018-01-09bpf: prevent out-of-bounds speculationAlexei Starovoitov
2018-01-08bpf: fix verifier GPF in kmalloc failure pathAlexei Starovoitov
2017-12-31bpf: offload: allow netdev to disappear while verifier is runningJakub Kicinski
2017-12-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2017-12-27bpf: fix max call depth checkAlexei Starovoitov
2017-12-27bpf: fix maximum stack depth tracking logicAlexei Starovoitov
2017-12-23bpf: fix stacksafe exploration when comparing statesGianluca Borello
2017-12-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-12-20bpf: allow for correlation of maps and helpers in dumpDaniel Borkmann
2017-12-20bpf: fix kallsyms handling for subprogsDaniel Borkmann
2017-12-21bpf: do not allow root to mangle valid pointersAlexei Starovoitov
2017-12-21bpf: fix integer overflowsAlexei Starovoitov
2017-12-21bpf: don't prune branches when a scalar is replaced with a pointerJann Horn
2017-12-21bpf: force strict alignment checks for stack pointersJann Horn
2017-12-21bpf: fix missing error return in check_stack_boundary()Jann Horn
2017-12-21bpf: fix 32-bit ALU op verificationJann Horn
2017-12-21bpf: fix incorrect tracking of register size truncationJann Horn
2017-12-21bpf: fix incorrect sign extension in check_alu_op()Jann Horn
2017-12-21bpf/verifier: fix bounds calculation on BPF_RSHEdward Cree
2017-12-19bpf: make function skip_callee static and return NULL rather than 0Colin Ian King
2017-12-19bpf: fix spelling mistake: "funcation"-> "function"Colin Ian King
2017-12-17bpf: x64: add JIT support for multi-function programsAlexei Starovoitov
2017-12-17bpf: fix net.core.bpf_jit_enable raceAlexei Starovoitov
2017-12-17bpf: add support for bpf_call to interpreterAlexei Starovoitov
2017-12-17bpf: teach verifier to recognize zero initialized stackAlexei Starovoitov
2017-12-17bpf: introduce function calls (verification)Alexei Starovoitov
2017-12-17bpf: introduce function calls (function boundaries)Alexei Starovoitov
2017-12-15bpf: guarantee r1 to be ctx in case of bpf_helper_changes_pkt_dataDaniel Borkmann
2017-12-12bpf: add a bpf_override_function helperJosef Bacik
2017-12-01bpf: cleanup register_is_null()Alexei Starovoitov
2017-12-01bpf: improve JEQ/JNE path walkingAlexei Starovoitov
2017-12-01bpf: improve verifier liveness marksAlexei Starovoitov
2017-12-01bpf: don't mark FP reg as uninitAlexei Starovoitov
2017-12-01bpf: print liveness info to verifier logAlexei Starovoitov
2017-12-01bpf: fix stack state printing in verifier logAlexei Starovoitov
2017-11-23bpf: fix branch pruning logicAlexei Starovoitov
2017-11-22bpf: introduce ARG_PTR_TO_MEM_OR_NULLGianluca Borello
2017-11-14bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semanticsYonghong Song
2017-11-11bpf: Revert bpf_overrid_function() helper changes.David S. Miller
2017-11-11bpf: add a bpf_override_function helperJosef Bacik
2017-11-05bpf, cgroup: implement eBPF-based device controller for cgroup v2Roman Gushchin
2017-11-05bpf: remove old offload/analyzerJakub Kicinski
2017-11-05bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski
2017-11-03bpf: fix verifier NULL pointer dereferenceCraig Gallek
2017-11-03bpf: fix out-of-bounds access warning in bpf_checkArnd Bergmann
2017-11-03bpf: fix link error without CONFIG_NETArnd Bergmann
2017-11-02bpf: also improve pattern matches for meta accessDaniel Borkmann