diff options
| author | Alexei Starovoitov | 2014-09-26 09:17:05 +0200 |
|---|---|---|
| committer | David S. Miller | 2014-09-26 21:05:15 +0200 |
| commit | 475fb78fbf48592ce541627c60a7b331060e31f5 (patch) | |
| tree | 0abd11c01180004027ec187475ab48db9ac054d5 /include/linux/bpf.h | |
| parent | bpf: handle pseudo BPF_LD_IMM64 insn (diff) | |
| download | kernel-qcow2-linux-475fb78fbf48592ce541627c60a7b331060e31f5.tar.gz kernel-qcow2-linux-475fb78fbf48592ce541627c60a7b331060e31f5.tar.xz kernel-qcow2-linux-475fb78fbf48592ce541627c60a7b331060e31f5.zip | |
bpf: verifier (add branch/goto checks)
check that control flow graph of eBPF program is a directed acyclic graph
check_cfg() does:
- detect loops
- detect unreachable instructions
- check that program terminates with BPF_EXIT insn
- check that all branches are within program boundary
Signed-off-by: Alexei Starovoitov <ast@plumgrid.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'include/linux/bpf.h')
0 files changed, 0 insertions, 0 deletions