Predicate printfLikeFunction
Holds if func
is a printf
-like formatting function and formatArg
is
the index of the format string argument.
Import path
import semmle.code.cpp.security.PrintfLike
predicate printfLikeFunction(Function func, int formatArg)