Module GuardedControlFlow
Import path
import semmle.python.GuardedControlFlow
Imports
Classes
| ConditionBlock |
A basic block which terminates in a condition, splitting the subsequent control flow |