Skip to content

Commit 0089ad4

Browse files
authored
Merge pull request #1696 from xiemaisi/js/ql4ql-fixes
Approved by asger-semmle
2 parents 9e4405f + 5026a55 commit 0089ad4

File tree

3 files changed

+4
-5
lines changed

3 files changed

+4
-5
lines changed

javascript/ql/src/semmle/javascript/frameworks/ClientRequests.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -84,8 +84,6 @@ private string urlPropertyName() {
8484
* A model of a URL request made using the `request` library.
8585
*/
8686
private class RequestUrlRequest extends ClientRequest::Range {
87-
DataFlow::Node url;
88-
8987
RequestUrlRequest() {
9088
exists(string moduleName, DataFlow::SourceNode callee | this = callee.getACall() |
9189
(

javascript/ql/src/semmle/javascript/frameworks/CryptoLibraries.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -329,8 +329,6 @@ private module NodeJSCrypto {
329329
}
330330

331331
private class Apply extends CryptographicOperation, MethodCallExpr {
332-
Expr input;
333-
334332
InstantiatedAlgorithm instantiation;
335333

336334
Apply() {

javascript/ql/src/semmle/javascript/frameworks/Electron.qll

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -256,7 +256,10 @@ module Electron {
256256
private class IPCAdditionalFlowStep extends DataFlow::AdditionalFlowStep {
257257
IPCAdditionalFlowStep() { ipcFlowStep(this, _) }
258258

259-
override predicate step(DataFlow::Node pred, DataFlow::Node succ) { ipcFlowStep(pred, succ) }
259+
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
260+
pred = this and
261+
ipcFlowStep(pred, succ)
262+
}
260263
}
261264
}
262265

0 commit comments

Comments
 (0)