codeql/python-all
5.0.1
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if forall incoming edges in the flow graph, there is an input variable
predicate isComplete()