bpf: Function-by-function verification

Try to verify subprograms solely based on type information.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
5 files changed