Alexei Starovoitov ddd872bc30 bpf: verifier: add checks for BPF_ABS | BPF_IND instructions ...

introduce program type BPF_PROG_TYPE_SOCKET_FILTER that is used
for attaching programs to sockets where ctx == skb.

add verifier checks for ABS/IND instructions which can only be seen
in socket filters, therefore the check:
  if (env->prog->aux->prog_type != BPF_PROG_TYPE_SOCKET_FILTER)
    verbose("BPF_LD_ABS|IND instructions are only allowed in socket filters\n");

Signed-off-by: Alexei Starovoitov <[email protected]>
Signed-off-by: David S. Miller <[email protected]>

2014-12-05 21:47:32 -08:00

..

arraymap.c

bpf: fix arraymap NULL deref and missing overflow and zero size checks

2014-11-19 15:40:00 -05:00

core.c

bpf: split eBPF out of NET

2014-10-27 19:09:59 -04:00

hashtab.c

bpf: fix arraymap NULL deref and missing overflow and zero size checks

2014-11-19 15:40:00 -05:00

helpers.c

bpf: allow eBPF programs to use maps

2014-11-18 13:44:00 -05:00

Makefile

bpf: allow eBPF programs to use maps

2014-11-18 13:44:00 -05:00

syscall.c

bpf: fix BPF_MAP_LOOKUP_ELEM command return code

2014-11-18 13:43:59 -05:00

test_stub.c

bpf: remove test map scaffolding and user proper types

2014-11-18 13:44:00 -05:00

verifier.c

bpf: verifier: add checks for BPF_ABS | BPF_IND instructions

2014-12-05 21:47:32 -08:00