Predicate DataFlow :: hasPathWithoutUnmatchedReturn
Holds if there is a path without unmatched return steps from source to sink.
Import path
import javascript
predicate
hasPathWithoutUnmatchedReturn
(
SourcePathNode
source
,
SinkPathNode
sink
)