diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-12-09 18:05:58 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-12-10 16:37:01 +0100 |
| commit | ba64d006de17a5bfa0c99e4b96711ba42f82e199 (patch) | |
| tree | 9625242c1510aef3b4ff0d793b885e66f1b29914 /sys/test | |
| parent | 95fe19c19e596446412626b048d950de6ce8c886 (diff) | |
prog: implement strict parsing mode
Add bulk of checks for strict parsing mode.
Probably not complete, but we can extend then in future as needed.
Turns out we can't easily use it for serialized programs
as they omit default args and during deserialization it looks like missing args.
Diffstat (limited to 'sys/test')
| -rw-r--r-- | sys/test/test/align0 | 4 | ||||
| -rw-r--r-- | sys/test/test/test | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sys/test/test/align0 b/sys/test/test/align0 index ae83c3c84..e2e5b9275 100644 --- a/sys/test/test/align0 +++ b/sys/test/test/align0 @@ -1,3 +1,3 @@ syz_compare(&(0x7f0000000000)="010000000200000003000400000000000500000000000000", 0x18, &(0x7f0000001000)=@align0={0x1, 0x2, 0x3, 0x4, 0x5}, 0x18) -syz_compare(&(0x7f0000000000)="", 0x18, &(0x7f0000001000)=@align0={}, 0x17) # EBADF -syz_compare(&(0x7f0000000000)="", 0x18, &(0x7f0000001000)=@align0={0x1}, 0x18) # EINVAL +syz_compare(&(0x7f0000000000)="", 0x18, &(0x7f0000001000)=@align0={0x0, 0x0, 0x0, 0x0, 0x0}, 0x17) # EBADF +syz_compare(&(0x7f0000000000)="", 0x18, &(0x7f0000001000)=@align0={0x1, 0x0, 0x0, 0x0, 0x0}, 0x18) # EINVAL diff --git a/sys/test/test/test b/sys/test/test/test index 1803a6108..8715e198d 100644 --- a/sys/test/test/test +++ b/sys/test/test/test @@ -1 +1 @@ -syz_mmap() # EINVAL +syz_mmap(0x0, 0x0) # EINVAL |