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 cpp
predicate 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 cpp
predicate nullInit(Variable v, ControlFlowNode n)