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

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 `ControlFlowNode` represented by this data-flow node.	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 `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from Node
toString	Gets a textual representation of this element.	from CfgNode