Predicate mayAddNullTerminator
Holds if the expression e may add a null terminator to the string
accessed by va.
Import path
import semmle.code.cpp.commons.NullTerminationpredicate mayAddNullTerminator(Expr e, VariableAccess va)Holds if the expression e may add a null terminator to the string
accessed by va.
import semmle.code.cpp.commons.NullTerminationpredicate mayAddNullTerminator(Expr e, VariableAccess va)