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