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

use pragma to improve 2 join-orders in TaintTracking

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2021-03-22 00:20:49 +01:00
parent ce638096de
commit 93bcc3724a
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
javascript/ql/src/semmle/javascript/dataflow/TaintTracking.qll
View File

@@ -738,7 +738,10 @@ module TaintTracking {
pragma[nomagic]
private DataFlow::MethodCallNode execMethodCall() {
result.getMethodName() = "exec" and
result.getReceiver().analyze().getAType() = TTRegExp()
exists(DataFlow::AnalyzedNode analyzed |
pragma[only_bind_into](analyzed) = result.getReceiver().analyze() and
analyzed.getAType() = TTRegExp()
)
}
/**
@@ -759,7 +762,10 @@ module TaintTracking {
pragma[nomagic]
private DataFlow::MethodCallNode matchMethodCall() {
result.getMethodName() = "match" and
result.getArgument(0).analyze().getAType() = TTRegExp()
exists(DataFlow::AnalyzedNode analyzed |
pragma[only_bind_into](analyzed) = result.getArgument(0).analyze() and
analyzed.getAType() = TTRegExp()
)
}
/**