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

Member predicate Make::Private::SourceOutputNode::isExit

Holds if this node is an exit node, i.e. after all stores have been performed.

A local flow step should be added from this node to a data flow node representing s inside source.

predicate isExit(SourceElement source, SummaryComponentStack s, string model)