Class CaptureInput::BasicBlock
A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
Import path
import semmle.python.dataflow.new.internal.VariableCapture
Direct supertypes
Indirect supertypes
Predicates
getEnclosingCallable | Gets the enclosing callable. |
getLocation | Gets the location of this basic block. |
Inherited predicates
alwaysReaches | Holds if flow from this BasicBlock always reaches | from BasicBlock |
contains | Whether this basic block contains the specified node | from BasicBlock |
dominanceFrontier | Dominance frontier of a node x is the set of all nodes | from BasicBlock |
dominates | Whether this basic block dominates the other | from BasicBlock |
getAFalseSuccessor | Gets a false successor to this basic block | from BasicBlock |
getAPredecessor | Gets a predecessor to this basic block | from BasicBlock |
getASuccessor | Gets a successor to this basic block | from BasicBlock |
getATrueSuccessor | Gets a true successor to this basic block | from BasicBlock |
getAnExceptionalSuccessor | Gets an exceptional successor to this basic block | from BasicBlock |
getAnUnconditionalSuccessor | Gets an unconditional successor to this basic block | from BasicBlock |
getImmediateDominator | from BasicBlock | |
getImmediatelyControllingBlock | Gets the | from BasicBlock |
getLastNode | Gets the last node in this basic block | from BasicBlock |
getNode | Gets the nth node in this basic block | from BasicBlock |
getScope | Gets the scope of this block | from BasicBlock |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from BasicBlock |
likelyReachable | Whether (as inferred by type inference) this basic block is likely to be reachable. | from BasicBlock |
reaches | Holds if this basic block reaches the other. Is the start of other reachable from the end of this. | from BasicBlock |
reachesExit | Whether flow from this basic block reaches a normal exit from its scope | from BasicBlock |
strictlyDominates | Whether this basic block strictly dominates the other | from BasicBlock |
strictlyReaches | Holds if this basic block strictly reaches the other. Is the start of other reachable from the end of this. | from BasicBlock |
toString | Gets a textual representation of this element. | from BasicBlock |
unlikelySuccessor | Whether (as inferred by type inference) it is highly unlikely (or impossible) for control to flow from this to succ. | from BasicBlock |