Daniel Borkmann
b1a7288ded
bpf, selftests: Add test case trying to taint map value pointer ...
Add a test case which tries to taint map value pointer arithmetic into a
unknown scalar with subsequent export through the map.
Before fix:
# ./test_verifier 1186
#1186/u map access: trying to leak tained dst reg FAIL
Unexpected success to load!
verification time 24 usec
stack depth 8
processed 15 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1
#1186/p map access: trying to leak tained dst reg FAIL
Unexpected success to load!
verification time 8 usec
stack depth 8
processed 15 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1
Summary: 0 PASSED, 0 SKIPPED, 2 FAILED
After fix:
# ./test_verifier 1186
#1186/u map access: trying to leak tained dst reg OK
#1186/p map access: trying to leak tained dst reg OK
Summary: 2 PASSED, 0 SKIPPED, 0 FAILED
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Reviewed-by: John Fastabend <john.fastabend@gmail.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
2021-12-16 19:46:06 +01:00
2021-11-18 10:08:07 -03:00
2021-10-10 22:16:02 -04:00
2021-12-02 13:39:46 -08:00
2021-12-06 21:57:53 -03:00
2021-10-17 10:54:16 +01:00
2021-12-09 09:37:49 -08:00
2021-08-13 08:58:11 -06:00
2021-10-18 14:07:18 -04:00
2021-11-16 16:53:48 -08:00
2021-07-27 11:48:55 -07:00
2021-12-03 09:11:42 +01:00
2021-08-05 11:01:30 +01:00
2021-12-06 21:57:53 -03:00
2021-09-16 10:31:26 -07:00
2021-11-01 17:08:21 +01:00
2021-12-16 19:46:06 +01:00
2021-08-14 15:33:19 +02:00
2021-10-25 22:27:19 -04:00
2021-09-14 10:31:41 +02:00
2021-08-11 06:44:24 -04:00
2021-11-06 13:30:40 -07:00
2021-11-12 11:07:17 -08:00
b1a7288ded