Predicate definitelyNull
Holds if a simple data-flow analysis determines that e is definitely null.
Import path
import semmle.code.cpp.controlflow.Dataflowpredicate definitelyNull(Expr e)Holds if a simple data-flow analysis determines that e is definitely null.
import semmle.code.cpp.controlflow.Dataflowpredicate definitelyNull(Expr e)