]> git.baikalelectronics.ru Git - kernel.git/commit
selftests: bpf: verifier: add tests for JSET interpretation
authorJakub Kicinski <jakub.kicinski@netronome.com>
Thu, 20 Dec 2018 06:13:05 +0000 (22:13 -0800)
committerDaniel Borkmann <daniel@iogearbox.net>
Thu, 20 Dec 2018 16:28:28 +0000 (17:28 +0100)
commita3224c14614e8b4fab61f17c589a1c9c9abf5eb8
tree39552a190adf490e23c34ebbdd5c8ac588d1ede4
parent3aa5b3feb7433834bf4f82ff7a5446822c8acdf8
selftests: bpf: verifier: add tests for JSET interpretation

Validate that the verifier reasons correctly about the bounds
and removes dead code based on results of JSET instruction.

Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
tools/testing/selftests/bpf/test_verifier.c