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
)