CodeQL library for Python
codeql/python-all 0.10.5 ( changelog , source )
Search

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 )