On Sat, Aug 24, 2024 at 12:20:33AM GMT, Daniel Borkmann wrote: > Add a test case which attempts to write into .rodata section of the > BPF program, and for comparison this adds test cases also for .bss > and .data section. > > Before fix: > > # ./vmtest.sh -- ./test_progs -t verifier_const > [...] > ./test_progs -t verifier_const > tester_init:PASS:tester_log_buf 0 nsec > process_subtest:PASS:obj_open_mem 0 nsec > process_subtest:PASS:specs_alloc 0 nsec > run_subtest:PASS:obj_open_mem 0 nsec > run_subtest:FAIL:unexpected_load_success unexpected success: 0 > #465/1 verifier_const/rodata: write rejected:FAIL > #465/2 verifier_const/bss: write accepted:OK > #465/3 verifier_const/data: write accepted:OK > #465 verifier_const:FAIL > [...] > > After fix: > > # ./vmtest.sh -- ./test_progs -t verifier_const > [...] > ./test_progs -t verifier_const > #465/1 verifier_const/rodata: write rejected:OK > #465/2 verifier_const/bss: write accepted:OK > #465/3 verifier_const/data: write accepted:OK > #465 verifier_const:OK > [...] > > Signed-off-by: Daniel Borkmann <daniel@xxxxxxxxxxxxx> [...] Acked-by: Shung-Hsi Yu <shung-hsi.yu@xxxxxxxx>
