Class Path :: SafeAccessCheck
A data-flow node that checks that a path is safe to access.
Import path
import semmle.python.Concepts
Direct supertypes
Inherited predicates
| asCfgNode |
Gets the control-flow node corresponding to this node, if any. |
from CfgNode |
| asExpr |
Gets the expression corresponding to this node, if any. |
from ExprNode |
| asVar |
Gets the ESSA variable corresponding to this node, if any. |
from Node |
| getALocalSource |
Gets a local source node from which data may flow to this node in zero or more local data-flow steps. |
from Node |
| getEnclosingCallable |
Gets the enclosing callable of this node. |
from Node |
| getLocation |
Gets the location of this node |
from CfgNode |
| getNode |
Gets the |
from CfgNode |
| getScope |
Gets the scope of this node. |
from CfgNode |
| hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
from Node |
| toString |
Gets a textual representation of this element. |
from CfgNode |