diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2023-06-13 18:38:22 +0300 |
|---|---|---|
| committer | Andrii Nakryiko <andrii@kernel.org> | 2023-06-13 15:14:27 -0700 |
| commit | dec020280373c60d6df48d1954e72dd6c5640282 (patch) | |
| tree | fd69b00e46846599204b02a89b16f3838eb0f396 /include/linux/bpf_verifier.h | |
| parent | 904e6ddf4133c52fdb9654c2cd2ad90f320d48b9 (diff) | |
selftests/bpf: Check if mark_chain_precision() follows scalar ids
Check __mark_chain_precision() log to verify that scalars with same
IDs are marked as precise. Use several scenarios to test that
precision marks are propagated through:
- registers of scalar type with the same ID within one state;
- registers of scalar type with the same ID cross several states;
- registers of scalar type with the same ID cross several stack frames;
- stack slot of scalar type with the same ID;
- multiple scalar IDs are tracked independently.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/20230613153824.3324830-3-eddyz87@gmail.com
Diffstat (limited to 'include/linux/bpf_verifier.h')
0 files changed, 0 insertions, 0 deletions