]> git.baikalelectronics.ru Git - kernel.git/commit
bpf: fix state equivalence
authorAlexei Starovoitov <ast@fb.com>
Wed, 7 Dec 2016 18:57:59 +0000 (10:57 -0800)
committerDavid S. Miller <davem@davemloft.net>
Thu, 8 Dec 2016 18:31:11 +0000 (13:31 -0500)
commitb21d1af96630e7619d0c10ee240aa82d765e2698
treebc95a7d565111605886a99832603452c5f9bd8b1
parent03d290be5970d45d5d88766973749c8a39323ebb
bpf: fix state equivalence

Commmits a7b01c564a2a ("bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers")
and 14f13004796b ("bpf: allow access into map value arrays") by themselves
are correct, but in combination they make state equivalence ignore 'id' field
of the register state which can lead to accepting invalid program.

Fixes: a7b01c564a2a ("bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registers")
Fixes: 14f13004796b ("bpf: allow access into map value arrays")
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Thomas Graf <tgraf@suug.ch>
Signed-off-by: David S. Miller <davem@davemloft.net>
include/linux/bpf_verifier.h
kernel/bpf/verifier.c