hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Co-authored-by: Asger F <asgerf@github.com>
This commit is contained in:
Napalys Klicius
2025-06-02 17:41:27 +02:00
parent 3cbc4142f0
commit 64f00fd0f2
1 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
javascript/ql/src/Quality/UnhandledStreamPipe.ql
View File

@@ -122,20 +122,18 @@ class ErrorHandlerRegistration extends DataFlow::MethodCallNode {
}
/**
* Models flow relationships between streams and related operations.
* Connects destination streams to their corresponding pipe call nodes.
* Connects streams to their chainable methods.
* Holds if the stream in `node1` will propagate to `node2`.
*/
private predicate streamFlowStep(DataFlow::Node streamNode, DataFlow::Node relatedNode) {
private predicate streamFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
exists(PipeCall pipe |
streamNode = pipe.getDestinationStream() and
relatedNode = pipe
node1 = pipe.getDestinationStream() and
node2 = pipe
)
or
exists(DataFlow::MethodCallNode chainable |
chainable.getMethodName() = getChainableStreamMethodName() and
streamNode = chainable.getReceiver() and
relatedNode = chainable
node1 = chainable.getReceiver() and
node2 = chainable
)
}