CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.3.1-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)