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
)