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 /samples | |
| parent | 0a542a86d73b1577e7d4f55fc95dcffd3fe62643 (diff) | |
| download | op-kernel-dev-51580e798cb61b0fc63fa3aa6c5c975375aa0550.zip op-kernel-dev-51580e798cb61b0fc63fa3aa6c5c975375aa0550.tar.gz | |
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 'samples')
0 files changed, 0 insertions, 0 deletions
