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
)