hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Update some uses in tests

Browse Source
This commit is contained in:
Asger Feldthaus
2021-03-17 12:40:34 +00:00
parent bda074835e
commit fae907df65
4 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/ql/test/library-tests/frameworks/Electron/tests.ql
View File

@@ -9,7 +9,7 @@ query predicate clientRequest_getADataNode(Electron::ElectronClientRequest cr, D
query predicate clientRequest(Electron::ElectronClientRequest cr) { any() }
query predicate ipcFlow(DataFlow::Node pred, DataFlow::Node succ) {
exists(DataFlow::AdditionalFlowStep afs | afs.step(pred, succ))
DataFlow::SharedFlowStep::step(pred, succ)
}
query predicate remoteFlowSources(RemoteFlowSource source) { any() }

2
javascript/ql/test/library-tests/frameworks/EventEmitter/test.ql
View File

@@ -1,7 +1,7 @@
import javascript
query predicate taintSteps(DataFlow::Node pred, DataFlow::Node succ) {
exists(DataFlow::AdditionalFlowStep step | step.step(pred, succ))
DataFlow::SharedFlowStep::step(pred, succ)
}
query predicate eventEmitter(EventEmitter e) { any() }

2
javascript/ql/test/library-tests/frameworks/SocketIO/AdditionalFlowStep.qll
View File

@@ -1,5 +1,5 @@
import javascript
query predicate test_AdditionalFlowStep(DataFlow::Node pred, DataFlow::Node succ) {
exists(DataFlow::AdditionalFlowStep step | step.step(pred, succ) | any())
DataFlow::SharedFlowStep::step(pred, succ)
}

2
javascript/ql/test/library-tests/frameworks/WebSocket/test.ql
View File

@@ -13,7 +13,7 @@ query ServerWebSocket::SendNode serverSend() { any() }
query ServerWebSocket::ReceiveNode serverReceive() { any() }
query predicate taintStep(DataFlow::Node pred, DataFlow::Node succ) {
any(DataFlow::AdditionalFlowStep s).step(pred, succ)
DataFlow::SharedFlowStep::step(pred, succ)
}
query RemoteFlowSource remoteFlow() { any() }