Predicate nullInit
Holds if the evaluation of n may have the effect of, directly or
indirectly, assigning a null literal to var.
Import path
import cpppredicate nullInit(Variable v, ControlFlowNode n)Holds if the evaluation of n may have the effect of, directly or
indirectly, assigning a null literal to var.
import cpppredicate nullInit(Variable v, ControlFlowNode n)