src/plugins/variadic/classify.ml

src/plugins/variadic/format_parser.ml

src/plugins/variadic/generic.ml

src/plugins/variadic/options.ml

src/plugins/variadic/options.mli

src/plugins/variadic/standard.ml

.../declared/oracle/redefine_anonymous_parameters.res.oracle

src/plugins/variadic/tests/erroneous/oracle/exec.res.oracle

...s/variadic/tests/erroneous/oracle/invalid_libc.res.oracle

...lugins/variadic/tests/erroneous/oracle/no-libc.res.oracle

...plugins/variadic/tests/erroneous/oracle/printf.res.oracle

...riadic/tests/erroneous/oracle/va_arg-wrongtype.res.oracle

src/plugins/variadic/tests/known/oracle/exec.res.oracle

src/plugins/variadic/tests/known/oracle/fcntl.res.oracle

src/plugins/variadic/tests/known/oracle/open.res.oracle

...plugins/variadic/tests/known/oracle/open_wrong.res.oracle

src/plugins/variadic/tests/known/oracle/openat.res.oracle

src/plugins/variadic/tests/known/oracle/printf.res.oracle

...s/variadic/tests/known/oracle/printf_redefined.res.oracle

...variadic/tests/known/oracle/printf_wrong_arity.res.oracle