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 semmle.code.cpp.controlflow.Nullnesspredicate 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 semmle.code.cpp.controlflow.Nullnesspredicate nullInit(Variable v, ControlFlowNode n)