diff options
| author |   Alexei Starovoitov <ast@plumgrid.com> | 2014-09-26 00:17:02 -0700 |
|---|---|---|
| committer |   David S. Miller <davem@davemloft.net> | 2014-09-26 15:05:14 -0400 |
| commit | 51580e798cb61b0fc63fa3aa6c5c975375aa0550 (patch) | |
| tree | 2b608f048ba6415a28be79135af26f28ba7ebd5b /kernel/bpf/Makefile | |
| parent | bpf: handle pseudo BPF_CALL insn (diff) | |
| download | linux-dev-51580e798cb61b0fc63fa3aa6c5c975375aa0550.tar.xz linux-dev-51580e798cb61b0fc63fa3aa6c5c975375aa0550.zip | |
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>
Diffstat (limited to 'kernel/bpf/Makefile')
| -rw-r--r-- | kernel/bpf/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/bpf/Makefile b/kernel/bpf/Makefile index e9f7334ed07a..3c726b0995b7 100644 --- a/kernel/bpf/Makefile +++ b/kernel/bpf/Makefile @@ -1 +1 @@ -obj-y := core.o syscall.o +obj-y := core.o syscall.o verifier.o |