diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-25 12:12:10 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-28 17:32:15 +0100 |
| commit | d3747c722655480e783b482c959331238997733f (patch) | |
| tree | 242b4b0688ad4bbbd97152556e4403b2baf70957 /executor/common.h | |
| parent | b17b4f5d0ddc4b052d56ddce25188723812d93cc (diff) | |
pkg/csource: setup sysctl's in C reproducers
Sysctl's are not captured as part of reproducers.
This can result in failure to reproduce a bug on developer machine.
Include sysctl setup as part of C reproducers.
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/executor/common.h b/executor/common.h index e054cf434..0a943a88f 100644 --- a/executor/common.h +++ b/executor/common.h @@ -740,6 +740,9 @@ int main(void) /*{{{MMAP_DATA}}}*/ #endif +#if SYZ_SYSCTL + setup_sysctl(); +#endif #if SYZ_BINFMT_MISC setup_binfmt_misc(); #endif |