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

Member predicate PhiFunction::isComplete

Holds if forall incoming edges in the flow graph, there is an input variable

predicate isComplete()