From 441f4fcc08ae33f36e5a15a9dd5abde3f0797921 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 6 May 2024 08:33:51 +0200 Subject: prog: fix validation of DataMmapProg Allow to serialize/deserialize DataMmapProg and fix validation in debug mode. Fixes #4750 --- sys/trusty/sys.txt | 3 +++ 1 file changed, 3 insertions(+) (limited to 'sys') diff --git a/sys/trusty/sys.txt b/sys/trusty/sys.txt index ca311c4b8..e88154f6c 100644 --- a/sys/trusty/sys.txt +++ b/sys/trusty/sys.txt @@ -6,6 +6,9 @@ include +# Needed for MakeSyzMmap, or need to fix target.MakeDataMmap to use mmap. +syz_mmap(addr vma, len len[addr]) + write(fd int32, msg ptr[in, array[int8]], size len[msg]) brk(brk int32) exit_etc(status int32, flags int32) -- cgit mrf-deployment