Predicate exprDefinition
Holds if def is a (definite) assignment to the stack variable v. e is
the assigned expression.
Import path
import cpppredicate exprDefinition(SemanticStackVariable v, ControlFlowNode def, Expr e)Holds if def is a (definite) assignment to the stack variable v. e is
the assigned expression.
import cpppredicate exprDefinition(SemanticStackVariable v, ControlFlowNode def, Expr e)