diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-04-18 17:09:59 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-04-19 10:26:57 +0200 |
| commit | 91db3ed8ce2dc73444bcd649f8003cbe96fcb227 (patch) | |
| tree | 08013bd813d8f038060db3cef25fa02eb7eb53e5 /docs | |
| parent | 273e386b718deddf0859d1ed99e2699a9d3e2e5d (diff) | |
prog: add ignore_return and breaks_returns call attribtues
We had these hard-coded for fuchsia and linux accordingly.
Replace with call attributes.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syscall_descriptions_syntax.md | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/docs/syscall_descriptions_syntax.md b/docs/syscall_descriptions_syntax.md index c198a6417..74d69c113 100644 --- a/docs/syscall_descriptions_syntax.md +++ b/docs/syscall_descriptions_syntax.md @@ -81,10 +81,14 @@ flagname = "\"" literal "\"" ["," "\"" literal "\""]* Call attributes are: ``` -"disabled": the call will not be used in fuzzing +"disabled": the call will not be used in fuzzing; useful to temporary disable some calls + or prohibit particular argument combinations. "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 + if a program contains several such calls, the max value is used. +"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). ``` ## Ints |
