bpf: verifier (add docs)
authorAlexei Starovoitov <ast@plumgrid.com>
Fri, 26 Sep 2014 07:17:02 +0000 (00:17 -0700)
committerDavid S. Miller <davem@davemloft.net>
Fri, 26 Sep 2014 19:05:14 +0000 (15:05 -0400)
commit51580e798cb61b0fc63fa3aa6c5c975375aa0550
tree2b608f048ba6415a28be79135af26f28ba7ebd5b
parent0a542a86d73b1577e7d4f55fc95dcffd3fe62643
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>
Documentation/networking/filter.txt
include/linux/bpf.h
kernel/bpf/Makefile
kernel/bpf/syscall.c
kernel/bpf/verifier.c [new file with mode: 0644]