From a6f99ace4014896f81a2f101416fd5413579f2bd Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Fri, 28 Jun 2024 16:33:04 +0200 Subject: pkg/rpcserver: move kernel test/data range checks from executor We see some errors of the form: SYZFAIL: coverage filter is full pc=0x80007000c0008 regions=[0xffffffffbfffffff 0x243fffffff 0x143fffffff 0xc3fffffff] alloc=156 Executor shouldn't send non kernel addresses in signal, but somehow it does. It can happen if the VM memory is corrupted, or if the test program does something very nasty (e.g. discovers the output region and writes to it). It's not possible to reliably filter signal in the tested VM. Move all of the filtering logic to the host. Fixes #4942 --- sys/test/exec.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'sys/test/exec.txt') diff --git a/sys/test/exec.txt b/sys/test/exec.txt index ffb56610b..fb895bd18 100644 --- a/sys/test/exec.txt +++ b/sys/test/exec.txt @@ -11,8 +11,8 @@ syz_compare_int$3(n const[3], v0 intptr, v1 intptr, v2 intptr) syz_compare_int$4(n const[4], v0 intptr, v1 intptr, v2 intptr, v3 intptr) syz_compare_zlib(data ptr[in, array[int8]], size bytesize[data], zdata ptr[in, compressed_image], zsize bytesize[zdata]) (timeout[4000], no_generate, no_minimize) -# Copies the data into KCOV buffer verbatim and sets assumed kernel bitness. -syz_inject_cover(is64 bool8, ptr ptr[in, array[int8]], size bytesize[ptr]) +# Copies the data into KCOV buffer verbatim. +syz_inject_cover(ptr ptr[in, array[int8]], size bytesize[ptr]) compare_data [ align0 align0 -- cgit mrf-deployment