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

bpf: verifier (add docs)

this patch adds all of eBPF verfier documentation and empty bpf_check()

The end goal for the verifier is to statically check safety of the program.

Verifier will catch:
- loops
- out of range jumps
- unreachable instructions
- invalid instructions
- uninitialized register access
- uninitialized stack access
- misaligned stack access
- out of range stack access
- invalid calling convention

More details in Documentation/networking/filter.txt

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

Reading git-diff-tree failed