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 /executor/executor.cc | |
| 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 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions
