Predicate checkedNull
Holds if var is likely to be null at node.
Import path
import cpppredicate checkedNull(Variable var, ControlFlowNode node)Holds if var is likely to be null at node.
import cpppredicate checkedNull(Variable var, ControlFlowNode node)