diff options
author | Youlin Li <liulin063@gmail.com> | 2022-11-03 12:34:40 +0300 |
---|---|---|
committer | Daniel Borkmann <daniel@iogearbox.net> | 2022-11-04 02:24:29 +0300 |
commit | 475244f5e06beeda7b557d9dde46a5f439bf3379 (patch) | |
tree | bd6a4cb8ea564282be843971485e78babdc8016b /net | |
parent | f1db20814af532f85e091231223e5e4818e8464b (diff) | |
download | linux-475244f5e06beeda7b557d9dde46a5f439bf3379.tar.xz |
selftests/bpf: Add verifier test for release_reference()
Add a test case to ensure that released pointer registers will not be
leaked into the map.
Before fix:
./test_verifier 984
984/u reference tracking: try to leak released ptr reg FAIL
Unexpected success to load!
verification time 67 usec
stack depth 4
processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2
peak_states 2 mark_read 1
984/p reference tracking: try to leak released ptr reg OK
Summary: 1 PASSED, 0 SKIPPED, 1 FAILED
After fix:
./test_verifier 984
984/u reference tracking: try to leak released ptr reg OK
984/p reference tracking: try to leak released ptr reg OK
Summary: 2 PASSED, 0 SKIPPED, 0 FAILED
Signed-off-by: Youlin Li <liulin063@gmail.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Link: https://lore.kernel.org/bpf/20221103093440.3161-2-liulin063@gmail.com
Diffstat (limited to 'net')
0 files changed, 0 insertions, 0 deletions