Update javascript/ql/src/Quality/UnhandledStreamPipe.ql

Co-authored-by: Asger F <asgerf@github.com>
This commit is contained in:
Napalys Klicius
2025-06-02 17:53:54 +02:00
committed by GitHub
parent d43695c929
commit ae74edb033

View File

@@ -141,7 +141,7 @@ private predicate streamFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
* Tracks the result of a pipe call as it flows through the program.
*/
private DataFlow::SourceNode destinationStreamRef(DataFlow::TypeTracker t, PipeCall pipe) {
t.start() and result = pipe.getALocalSource()
t.start() and result = pipe
or
exists(DataFlow::SourceNode prev |
prev = destinationStreamRef(t.continue(), pipe) and