aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2017-12-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-117/+166
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-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
2017-11-22bpf: introduce ARG_PTR_TO_MEM_OR_NULLGianluca Borello1-1/+3
2017-11-14bpf: improve verifier ARG_CONST_SIZE_OR_ZERO semanticsYonghong Song1-16/+24
2017-11-11bpf: Revert bpf_overrid_function() helper changes.David S. Miller1-2/+0
2017-11-11bpf: add a bpf_override_function helperJosef Bacik1-0/+2
2017-11-05bpf, cgroup: implement eBPF-based device controller for cgroup v2Roman Gushchin1-0/+1
2017-11-05bpf: remove old offload/analyzerJakub Kicinski1-75/+0
2017-11-05bpf: offload: add infrastructure for loading programs for a specific netdevJakub Kicinski1-3/+12
2017-11-03bpf: fix verifier NULL pointer dereferenceCraig Gallek1-4/+8
2017-11-03bpf: fix out-of-bounds access warning in bpf_checkArnd Bergmann1-0/+4
2017-11-03bpf: fix link error without CONFIG_NETArnd Bergmann1-0/+2
2017-11-02bpf: also improve pattern matches for meta accessDaniel Borkmann1-69/+96
2017-11-02bpf: minor cleanups after mergeDaniel Borkmann1-1/+1
2017-11-01bpf: fix verifier memory leaksAlexei Starovoitov1-9/+18
2017-11-01bpf: reduce verifier memory consumptionAlexei Starovoitov1-149/+288
2017-10-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-18/+64
2017-10-22bpf: fix pattern matches for direct packet accessDaniel Borkmann1-0/+24
2017-10-22bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann1-12/+21
2017-10-18bpf: move knowledge about post-translation offsets out of verifierJakub Kicinski1-39/+16
2017-10-18bpf: remove the verifier ops from program structureJakub Kicinski1-6/+17
2017-10-18bpf: split verifier and program opsJakub Kicinski1-6/+6
2017-10-18bpf: disallow arithmetic operations on context pointerJakub Kicinski1-2/+6
2017-10-18bpf: XDP_REDIRECT enable use of cpumapJesper Dangaard Brouer1-1/+2
2017-10-18bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAPJesper Dangaard Brouer1-0/+5
2017-10-14bpf: verifier: set reg_type on context accesses in second passJakub Kicinski1-6/+37
2017-10-10bpf: write back the verifier log buffer as it gets filledJakub Kicinski1-22/+19