codeql/python-all
0.11.15-dev
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()