Class NullGuardedDataFlowNode
A data flow node guarded by a null check.
Import path
import semmle.code.csharp.controlflow.Guards
Direct supertypes
Indirect supertypes
Inherited predicates
| asDefinition |
Gets the definition corresponding to this node, if any. |
from Node |
| asDefinitionAtNode |
Gets the definition corresponding to this node, at control flow node |
from Node |
| asExpr |
Gets the expression corresponding to this node, if any. |
from Node |
| asExprAtNode |
Gets the expression corresponding to this node, at control flow node |
from Node |
| asParameter |
Gets the parameter corresponding to this node, if any. |
from Node |
| getAGuard |
Gets an expression that guards this data flow node. That is, this data flow node is only reached when the returned expression has abstract value |
from GuardedDataFlowNode |
| getControlFlowNode |
Gets the control flow node corresponding to this node, if any. |
from Node |
| getEnclosingCallable |
Gets the enclosing callable of this node. |
from Node |
| getExpr |
Gets the expression corresponding to this node. |
from ExprNode |
| getExprAtNode |
Gets the expression corresponding to this node, at control flow node |
from ExprNode |
| getLocation |
Gets the location of this node. |
from Node |
| getType |
Gets the type of this node. |
from Node |
| hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
from Node |
| mustHaveValue |
Holds if this data flow node must have abstract value |
from GuardedDataFlowNode |
| toString |
Gets a textual representation of this node. |
from Node |