Module StateTracking
Import path
import semmle.python.dataflow.old.StateTracking
Predicates
appliesToNode |
Holds if |