Predicate primitiveVariadicFormatter
A standard function such as vprintf
that has a format parameter
and a variable argument list of type va_arg
. formatParamIndex
indicates
the format parameter and type
indicates the type of vprintf
:
""
is avprintf
variant,outputParamIndex
is-1
."f"
is avfprintf
variant,outputParamIndex
indicates the output stream parameter."s"
is avsprintf
variant,outputParamIndex
indicates the output buffer parameter."?"
if the type cannot be determined.outputParamIndex
is-1
.
Import path
import cpp
predicate primitiveVariadicFormatter(TopLevelFunction f, string type, int formatParamIndex, int outputParamIndex)