selftests/bpf: precision tracking tests

Browse source

Add two tests to check that stack slot marking during backtracking
doesn't trigger 'spi > allocated_stack' warning.
One test is using BPF_ST insn. Another is using BPF_STX.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>

...

This commit is contained in:

Alexei Starovoitov 2019-09-03 15:51:33 -07:00 • committed by Daniel Borkmann

parent 7cbbf9f1fa

commit 310f4204ee

1 changed files with 52 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

52

tools/testing/selftests/bpf/verifier/precise.c

View file