Module Internal
INTERNAL: Do not use.
Import path
import semmle.code.csharp.controlflow.Guards
Predicates
getANullImplyingChild |
Gets a child expression of |
getNullEquivParent |
Gets the parent expression of |
nonNullValue |
Holds if expression |
nonNullValueImpliedUnary |
Holds if expression |
nullValue |
Holds if expression |
nullValueImpliedBinary |
Holds if expression |
nullValueImpliedUnary |
Holds if expression |