CodeQL library for Python
codeql/python-all 0.12.1 (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)