Class Path::SafeAccessCheck
A data-flow node that checks that a path is safe to access in some way, for example by having a controlled prefix.
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 |
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 |