Module StateTracking
Import path
import semmle.python.dataflow.StateTrackingImports
| StateTracking | Provides classes and predicates for tracking global state across the control flow and call graphs. |
import semmle.python.dataflow.StateTracking| StateTracking | Provides classes and predicates for tracking global state across the control flow and call graphs. |