CodeQL library for Java/Kotlin
codeql/java-all 7.1.3-dev (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 sc inside source.

predicate isExit(SourceElement source, SummaryComponent sc, string model)