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.PrintfLikepredicate printfLikeFunction(Function func, int formatArg)