summary refs log tree commit diff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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-15bpf: guarantee r1 to be ctx in case of bpf_helper_changes_pkt_dataDaniel Borkmann
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
2017-11-02bpf: minor cleanups after mergeDaniel Borkmann
2017-11-01bpf: fix verifier memory leaksAlexei Starovoitov
2017-11-01bpf: reduce verifier memory consumptionAlexei Starovoitov
2017-10-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-10-22bpf: fix pattern matches for direct packet accessDaniel Borkmann
2017-10-22bpf: fix off by one for range markings with L{T, E} patternsDaniel Borkmann
2017-10-18bpf: move knowledge about post-translation offsets out of verifierJakub Kicinski
2017-10-18bpf: remove the verifier ops from program structureJakub Kicinski
2017-10-18bpf: split verifier and program opsJakub Kicinski
2017-10-18bpf: disallow arithmetic operations on context pointerJakub Kicinski
2017-10-18bpf: XDP_REDIRECT enable use of cpumapJesper Dangaard Brouer
2017-10-18bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAPJesper Dangaard Brouer
2017-10-14bpf: verifier: set reg_type on context accesses in second passJakub Kicinski
2017-10-10bpf: write back the verifier log buffer as it gets filledJakub Kicinski
2017-10-10bpf: move instruction printing into a separate fileJakub Kicinski
2017-10-10bpf: move global verifier log into verifier environmentJakub Kicinski
2017-10-10bpf: encapsulate verifier log state into a structureJakub Kicinski
2017-10-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2017-10-07bpf: fix liveness markingAlexei Starovoitov
2017-10-07bpf: add helper bpf_perf_event_read_value for perf event array mapYonghong Song
2017-10-04bpf: enforce return code for cgroup-bpf programsAlexei Starovoitov
2017-09-28bpf/verifier: improve disassembly of BPF_NEG instructionsEdward Cree
2017-09-28bpf/verifier: improve disassembly of BPF_END instructionsEdward Cree
2017-09-26bpf: add meta pointer for direct accessDaniel Borkmann
2017-09-19bpf: fix ri->map_owner pointer on bpf_prog_reallocDaniel Borkmann
2017-09-15bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree
2017-09-08bpf: don't select potentially stale ri->map from buggy xdp progsDaniel Borkmann
2017-08-23bpf/verifier: document liveness analysisEdward Cree