From: Alexei Starovoitov <ast@plumgrid.com>
Date: Fri, 26 Sep 2014 07:17:05 +0000 (-0700)
Subject: bpf: verifier (add branch/goto checks)
X-Git-Tag: fixes-against-v3.18-rc2~81^2~1^2~2
X-Git-Url: http://git.openpandora.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=475fb78fbf48592ce541627c60a7b331060e31f5;p=pandora-kernel.git

bpf: verifier (add branch/goto checks)

check that control flow graph of eBPF program is a directed acyclic graph

check_cfg() does:
- detect loops
- detect unreachable instructions
- check that program terminates with BPF_EXIT insn
- check that all branches are within program boundary

Signed-off-by: Alexei Starovoitov <ast@plumgrid.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
---

Reading git-diff-tree failed