| commit | 260cb5df9d16c5715b32d73cc8af26ad9a17a792 | [log] [tgz] |
|---|---|---|
| author | Yonghong Song <yhs@fb.com> | Thu Nov 21 09:06:51 2019 -0800 |
| committer | Alexei Starovoitov <ast@kernel.org> | Sun Nov 24 16:58:46 2019 -0800 |
| tree | dc410e35bdb263512e095f64aed2456b19e132d8 | |
| parent | 581738a681b6faae5725c2555439189ca81c0f1f [diff] |
selftests/bpf: Add verifier tests for better jmp32 register bounds
Three test cases are added.
Test 1: jmp32 'reg op imm'.
Test 2: jmp32 'reg op reg' where dst 'reg' has unknown constant
and src 'reg' has known constant
Test 3: jmp32 'reg op reg' where dst 'reg' has known constant
and src 'reg' has unknown constant
Signed-off-by: Yonghong Song <yhs@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/20191121170651.449096-1-yhs@fb.com