diff options
| author | Hrutvik Kanabar <hrutvik@google.com> | 2022-09-19 10:19:25 +0000 |
|---|---|---|
| committer | Marco Elver <me@marcoelver.com> | 2022-09-22 16:42:04 +0200 |
| commit | 6099a1719c3532818617a2616a3380b080c56554 (patch) | |
| tree | 0b9ec3effbcac3aace955f0222c8b7315be56126 /docs | |
| parent | 60af505093169db753e7b7b319460495e4df554b (diff) | |
prog: add an attribute for syscalls which should not be generated
Create a `no_generate` attribute to be used with syscalls that
`syzkaller` should not try to generate from scratch. In other words,
`syzkaller` will only use seeds of this call. This will be useful for
syscalls which are unlikely to be correctly generated.
In particular, prevent these syscalls from being included in the choice
table or from being considered as possible resource constructors.
Also add a test which will attempt to generate programs with a bias
towards `no_generate` syscalls, and flag up any that make it into result
programs. Currently there are no `no_generate` syscalls, but the next
commit will add some.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syscall_descriptions_syntax.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/syscall_descriptions_syntax.md b/docs/syscall_descriptions_syntax.md index 29bfd7edd..cf490e5a7 100644 --- a/docs/syscall_descriptions_syntax.md +++ b/docs/syscall_descriptions_syntax.md @@ -93,6 +93,7 @@ Call attributes are: "ignore_return": ignore return value of this syscall in fallback feedback; need to be used for calls that don't return fixed error codes but rather something else (e.g. the current time). "breaks_returns": ignore return values of all subsequent calls in the program in fallback feedback (can't be trusted). +"no_generate": do not try to generate this syscall, i.e. use only seed descriptions to produce it. ``` ## Ints |