diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-04-16 18:33:47 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-04-19 10:26:57 +0200 |
| commit | cc8708904da08f9c884253477fc003cc6f6d5945 (patch) | |
| tree | 2a55f301c912629c205ded081351db57c2dde5aa /docs | |
| parent | 90d17ab8980674c6a59f47a062adccb37f99b88a (diff) | |
sys/linux: add timeout call attributes
Move additional call/prog timeouts to descriptions.
Due to this logic duplication executor used 50ms
for syz_mount_image, while pkg/csource used 100ms.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syscall_descriptions_syntax.md | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/docs/syscall_descriptions_syntax.md b/docs/syscall_descriptions_syntax.md index 5fb8aebf4..c198a6417 100644 --- a/docs/syscall_descriptions_syntax.md +++ b/docs/syscall_descriptions_syntax.md @@ -4,7 +4,7 @@ aka `syzlang` (`[siːzˈlæŋg]`) Pseudo-formal grammar of syscall description: ``` -syscallname "(" [arg ["," arg]*] ")" [type] +syscallname "(" [arg ["," arg]*] ")" [type] ["(" attribute* ")"] arg = argname type argname = identifier type = typename [ "[" type-options "]" ] @@ -78,6 +78,15 @@ or for string flags as: flagname = "\"" literal "\"" ["," "\"" literal "\""]* ``` +Call attributes are: + +``` +"disabled": the call will not be used in fuzzing +"timeout[N]": additional execution timeout (in ms) for the call on top of some default value +"prog_timeout[N]": additional execution timeout (in ms) for the whole program if it contains this call; + if a program contains several such calls, the max value is used +``` + ## Ints `int8`, `int16`, `int32` and `int64` denote an integer of the corresponding size. |