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
)