Predicate CaptureInput::getABasicBlockSuccessor
Gets an immediate successor of basic block bb
, if any.
Import path
import semmle.python.dataflow.new.internal.VariableCapture
Gets an immediate successor of basic block bb
, if any.
import semmle.python.dataflow.new.internal.VariableCapture