From cc8708904da08f9c884253477fc003cc6f6d5945 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 16 Apr 2020 18:33:47 +0200 Subject: 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. --- docs/syscall_descriptions_syntax.md | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'docs') 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. -- cgit mrf-deployment