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 |