Predicate variableMustBeNullTerminated
Holds if va
is a variable access where the contents must be null terminated.
Import path
import semmle.code.cpp.commons.NullTermination
predicate variableMustBeNullTerminated(VariableAccess va)
Holds if va
is a variable access where the contents must be null terminated.
import semmle.code.cpp.commons.NullTermination
predicate variableMustBeNullTerminated(VariableAccess va)