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

Merge pull request #1233 from xiemaisi/js/amd-type-inference

Browse Source 
Approved by asger-semmle
This commit is contained in:
semmle-qlci
2019-04-11 15:20:00 +01:00
committed by GitHub
parent ac3421f6be 301dab0e40
commit a1cc2fbed3
7 changed files with 36 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
javascript/ql/src/semmle/javascript/dataflow/internal/InterModuleTypeInference.qll
View File

@@ -248,10 +248,18 @@ private class AnalyzedAmdImport extends AnalyzedPropertyRead, DataFlow::Node {
Module required;
AnalyzedAmdImport() {
exists(AmdModule amd, PathExpr dep, Parameter p |
amd.getDefine().dependencyParameter(dep, p) and
this = DataFlow::parameterNode(p) and
required.getFile() = amd.resolve(dep)
exists(AmdModule amd, PathExpr dep |
exists(Parameter p |
amd.getDefine().dependencyParameter(dep, p) and
this = DataFlow::parameterNode(p)
)
or
exists(CallExpr requireCall |
requireCall = amd.getDefine().getARequireCall() and
dep = requireCall.getAnArgument() and
this = requireCall.flow()
) |
required = dep.(Import).getImportedModule()
)
}