Predicate StateTracking :: appliesToNode
Holds if state may apply (with sense = true) or may not apply (with sense = false) to
control flow node f given the context ctx.
Import path
import semmle.python.dataflow.old.StateTracking
predicate
appliesToNode
(
TrackableState
state
,
ControlFlowNode
f
,
Context
ctx
,
boolean
sense
)