| commit | 475fb78fbf48592ce541627c60a7b331060e31f5 | [log] [tgz] |
|---|---|---|
| author | Alexei Starovoitov <ast@plumgrid.com> | Fri Sep 26 00:17:05 2014 -0700 |
| committer | David S. Miller <davem@davemloft.net> | Fri Sep 26 15:05:15 2014 -0400 |
| tree | 0abd11c01180004027ec187475ab48db9ac054d5 | |
| parent | 0246e64d9a5fcd4805198de59b9b5cf1f974eb41 [diff] |
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>