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