Predicate formatArgumentMustBeNullTerminated
Holds if arg
is a string format argument to a formatting function call
ffc
.
Import path
import semmle.code.cpp.commons.NullTermination
predicate formatArgumentMustBeNullTerminated(FormattingFunctionCall ffc, Expr arg)