From 91db3ed8ce2dc73444bcd649f8003cbe96fcb227 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sat, 18 Apr 2020 17:09:59 +0200 Subject: prog: add ignore_return and breaks_returns call attribtues We had these hard-coded for fuchsia and linux accordingly. Replace with call attributes. --- docs/syscall_descriptions_syntax.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'docs/syscall_descriptions_syntax.md') 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 -- cgit mrf-deployment