Module Flow
Import path
import semmle.python.Flow
Imports
Predicates
Classes
AttrNode |
A control flow corresponding to an attribute expression, such as |
BasicBlock |
A basic block (ignoring exceptional flow edges to scope exit) |
BinaryExprNode |
A control flow node corresponding to a binary expression, such as |
BoolExprNode |
A control flow node corresponding to a boolean shortcut (and/or) operation |
CallNode |
A control flow node corresponding to a call expression, such as |
CompareNode |
A control flow node corresponding to a comparison operation, such as |
ControlFlowNode |
A control flow node. Control flow nodes have a many-to-one relation with syntactic nodes, although most syntactic nodes have only one corresponding control flow node. Edges between control flow nodes include exceptional as well as normal control flow. |
DefinitionNode |
A control flow node corresponding to a definition, that is a control flow node where a value is assigned to this node. Includes control flow nodes for the targets of assignments, simple or augmented, and nodes implicitly assigned in class and function definitions and imports. |
DeletionNode |
A control flow node corresponding to a deletion statement, such as |
DictNode |
A control flow node corresponding to a dictionary literal, such as |
ForNode |
A flow node for a |
IfExprNode |
A control flow node corresponding to a conditional expression such as, |
ImportExprNode |
A control flow node corresponding to an artificial expression representing an import |
ImportMemberNode |
A control flow node corresponding to a |
ImportStarNode |
A control flow node corresponding to a |
IterableNode |
A control flow node corresponding to an iterable literal. Currently does not include dictionaries, use |
ListNode |
A control flow node corresponding to a list expression, such as |
NameConstantNode |
A control flow node corresponding to a named constant, one of |
NameNode |
A control flow node corresponding to a (plain variable) name expression, such as |
RaiseStmtNode |
A flow node for a |
SequenceNode |
A control flow node corresponding to a sequence (tuple or list) literal |
SetNode |
A control flow node corresponding to a set expression, such as |
StarredNode |
A control flow node corresponding to a starred expression, |
SubscriptNode |
A control flow node corresponding to a subscript expression, such as |
TupleNode |
A control flow node corresponding to a tuple expression such as |
UnaryExprNode |
A control flow node corresponding to a unary expression: ( |