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 /Documentation/applying-patches.txt | |
| 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 'Documentation/applying-patches.txt')
0 files changed, 0 insertions, 0 deletions