diff options
| author | Alexander Potapenko <glider@google.com> | 2025-09-09 12:09:02 +0200 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2025-09-09 18:27:31 +0000 |
| commit | 5ac84ab421465f8f15ac9350f9f33a4416b4b3b7 (patch) | |
| tree | 4bd25bbaef09bb2a4fa31877862e8d2f20b17d1f /pkg/compiler | |
| parent | d291dd2d58a1885c00a60561048b6ceb1bf1206a (diff) | |
prog: pkg/compiler: docs: introduce the `no_squash` attribute
The `no_squash` per-syscall attribute prevents the fuzzer from generating
squashed arguments to a particular syscall.
This is particularly helpful for pseudo-syscalls with elaborate
arguments that are hard to reason about when they are squashed - e.g.
for syz_kvm_add_vcpu() that takes a SYZOS program as an input.
I've considered an alternative solution that prohibits ANY for all
pseudo-syscalls. But there is a bunch of existing programs (both
the tests and the repros) for syscalls like syz_mount_image() for which
the benefit of not passing ANY is not immediately obvious.
I therefore decided to go with an explicit attribute that can later
be enforced for every pseudo-syscall at compile time.
Diffstat (limited to 'pkg/compiler')
| -rw-r--r-- | pkg/compiler/testdata/all.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/compiler/testdata/all.txt b/pkg/compiler/testdata/all.txt index 1202e7511..cf6f3594c 100644 --- a/pkg/compiler/testdata/all.txt +++ b/pkg/compiler/testdata/all.txt @@ -339,6 +339,7 @@ flags_with_one_value = 0 # Syscall attributes. fsck_test() (fsck["fsck.test -n"]) +foo_no_squash() (no_squash) # Compressed images. |