Predicate Internal :: getANullImplyingChild
Gets a child expression of e
which is null
only if e
is null
.
Import path
import semmle.code.csharp.controlflow.Guards
Expr
getANullImplyingChild
(
Expr
e
)