Predicate checkedNull
Holds if var is likely to be null at node.
Import path
import semmle.code.cpp.controlflow.Nullnesspredicate checkedNull(Variable var, ControlFlowNode node)Holds if var is likely to be null at node.
import semmle.code.cpp.controlflow.Nullnesspredicate checkedNull(Variable var, ControlFlowNode node)