diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-05-06 08:33:51 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-05-06 11:24:51 +0000 |
| commit | 441f4fcc08ae33f36e5a15a9dd5abde3f0797921 (patch) | |
| tree | b85c0f6661d52d537e6e39b2791f0d7022390fec /sys/trusty | |
| parent | 69f2eab004cdc5bce339d5359dcf234698153dc7 (diff) | |
prog: fix validation of DataMmapProg
Allow to serialize/deserialize DataMmapProg
and fix validation in debug mode.
Fixes #4750
Diffstat (limited to 'sys/trusty')
| -rw-r--r-- | sys/trusty/sys.txt | 3 |
1 files changed, 3 insertions, 0 deletions
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 <user/trusty_syscalls.h> +# 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) |