hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

aggregate the tests in library-tests/TypeInference/AnalyzedModule into a single .ql file

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-10-20 13:43:17 +02:00
parent 036187cd70
commit f8d38227e8
10 changed files with 75 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getAnExportedValue.expected
View File

@@ -1,21 +0,0 @@
| amd | default | amd.js:1:1:6:0 | exports object of module amd |
| amd | default | amd.js:2:12:4:5 | object literal |
| amd | foo | file://:0:0:0:0 | non-zero value |
| amd2 | default | amd2.js:1:1:6:0 | exports object of module amd2 |
| amd2 | default | amd2.js:2:17:4:5 | object literal |
| amd2 | foo | file://:0:0:0:0 | non-zero value |
| amd3 | default | amd3.js:1:1:4:0 | exports object of module amd3 |
| amd3 | foo | file://:0:0:0:0 | non-zero value |
| commonjs | default | commonjs.js:1:1:3:0 | exports object of module commonjs |
| commonjs | foo | commonjs.js:1:15:1:27 | anonymous function |
| commonjs | x | file://:0:0:0:0 | non-empty, non-numeric string |
| commonjs2 | default | commonjs2.js:1:1:4:0 | exports object of module commonjs2 |
| commonjs2 | default | commonjs2.js:1:18:3:1 | object literal |
| commonjs2 | id | commonjs2.js:2:9:2:16 | method id |
| es6 | default | file://:0:0:0:0 | true |
| es6 | default | m.js:1:16:3:1 | object literal |
| es6 | foo | es6.js:3:8:3:24 | function foo |
| es6 | x | file://:0:0:0:0 | non-empty, non-numeric string |
| es6 | z | file://:0:0:0:0 | non-zero value |
| m | default | m.js:1:16:3:1 | object literal |
| m | id | m.js:2:9:2:16 | method id |

4
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getAnExportedValue.ql
View File

@@ -1,4 +0,0 @@
import javascript
from AnalyzedModule m, string n
select m.getName(), n, m.getAnExportedValue(n)

11
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getAnExportsValue.expected
View File

@@ -1,11 +0,0 @@
| amd | amd.js:1:1:6:0 | exports object of module amd |
| amd | amd.js:2:12:4:5 | object literal |
| amd2 | amd2.js:1:1:6:0 | exports object of module amd2 |
| amd2 | amd2.js:2:17:4:5 | object literal |
| amd3 | amd3.js:1:1:4:0 | exports object of module amd3 |
| commonjs | commonjs.js:1:1:3:0 | exports object of module commonjs |
| commonjs2 | commonjs2.js:1:1:4:0 | exports object of module commonjs2 |
| commonjs2 | commonjs2.js:1:18:3:1 | object literal |
| es6 | es6.js:1:1:7:0 | exports object of module es6 |
| m | m.js:1:1:4:0 | exports object of module m |
| m | m.js:1:16:3:1 | object literal |

4
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getAnExportsValue.ql
View File

@@ -1,4 +0,0 @@
import javascript
from AnalyzedModule m
select m.getName(), m.getAnExportsValue()

7
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getExportsProperty.expected
View File

@@ -1,7 +0,0 @@
| amd | property exports of module object of module amd |
| amd2 | property exports of module object of module amd2 |
| amd3 | property exports of module object of module amd3 |
| commonjs | property exports of module object of module commonjs |
| commonjs2 | property exports of module object of module commonjs2 |
| es6 | property exports of module object of module es6 |
| m | property exports of module object of module m |

4
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getExportsProperty.ql
View File

@@ -1,4 +0,0 @@
import javascript
from AnalyzedModule m
select m.getName(), m.getExportsProperty()

7
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getModuleObject.expected
View File

@@ -1,7 +0,0 @@
| amd | amd.js:1:1:6:0 | module object of module amd |
| amd2 | amd2.js:1:1:6:0 | module object of module amd2 |
| amd3 | amd3.js:1:1:4:0 | module object of module amd3 |
| commonjs | commonjs.js:1:1:3:0 | module object of module commonjs |
| commonjs2 | commonjs2.js:1:1:4:0 | module object of module commonjs2 |
| es6 | es6.js:1:1:7:0 | module object of module es6 |
| m | m.js:1:1:4:0 | module object of module m |

4
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/AnalyzedModule_getModuleObject.ql
View File

@@ -1,4 +0,0 @@
import javascript
from AnalyzedModule m
select m.getName(), m.getModuleObject()

50
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/tests.expected Normal file
View File

@@ -0,0 +1,50 @@
analyzedModule_getAnExportedValue
| amd2.js:1:1:6:0 | <toplevel> | default | amd2.js:1:1:6:0 | exports object of module amd2 | amd2 |
| amd2.js:1:1:6:0 | <toplevel> | default | amd2.js:2:17:4:5 | object literal | amd2 |
| amd2.js:1:1:6:0 | <toplevel> | foo | file://:0:0:0:0 | non-zero value | amd2 |
| amd3.js:1:1:4:0 | <toplevel> | default | amd3.js:1:1:4:0 | exports object of module amd3 | amd3 |
| amd3.js:1:1:4:0 | <toplevel> | foo | file://:0:0:0:0 | non-zero value | amd3 |
| amd.js:1:1:6:0 | <toplevel> | default | amd.js:1:1:6:0 | exports object of module amd | amd |
| amd.js:1:1:6:0 | <toplevel> | default | amd.js:2:12:4:5 | object literal | amd |
| amd.js:1:1:6:0 | <toplevel> | foo | file://:0:0:0:0 | non-zero value | amd |
| commonjs2.js:1:1:4:0 | <toplevel> | default | commonjs2.js:1:1:4:0 | exports object of module commonjs2 | commonjs2 |
| commonjs2.js:1:1:4:0 | <toplevel> | default | commonjs2.js:1:18:3:1 | object literal | commonjs2 |
| commonjs2.js:1:1:4:0 | <toplevel> | id | commonjs2.js:2:9:2:16 | method id | commonjs2 |
| commonjs.js:1:1:3:0 | <toplevel> | default | commonjs.js:1:1:3:0 | exports object of module commonjs | commonjs |
| commonjs.js:1:1:3:0 | <toplevel> | foo | commonjs.js:1:15:1:27 | anonymous function | commonjs |
| commonjs.js:1:1:3:0 | <toplevel> | x | file://:0:0:0:0 | non-empty, non-numeric string | commonjs |
| es6.js:1:1:7:0 | <toplevel> | default | file://:0:0:0:0 | true | es6 |
| es6.js:1:1:7:0 | <toplevel> | default | m.js:1:16:3:1 | object literal | es6 |
| es6.js:1:1:7:0 | <toplevel> | foo | es6.js:3:8:3:24 | function foo | es6 |
| es6.js:1:1:7:0 | <toplevel> | x | file://:0:0:0:0 | non-empty, non-numeric string | es6 |
| es6.js:1:1:7:0 | <toplevel> | z | file://:0:0:0:0 | non-zero value | es6 |
| m.js:1:1:4:0 | <toplevel> | default | m.js:1:16:3:1 | object literal | m |
| m.js:1:1:4:0 | <toplevel> | id | m.js:2:9:2:16 | method id | m |
analyzedModule_getAnExportsValue
| amd2.js:1:1:6:0 | <toplevel> | amd2 | amd2.js:1:1:6:0 | exports object of module amd2 |
| amd2.js:1:1:6:0 | <toplevel> | amd2 | amd2.js:2:17:4:5 | object literal |
| amd3.js:1:1:4:0 | <toplevel> | amd3 | amd3.js:1:1:4:0 | exports object of module amd3 |
| amd.js:1:1:6:0 | <toplevel> | amd | amd.js:1:1:6:0 | exports object of module amd |
| amd.js:1:1:6:0 | <toplevel> | amd | amd.js:2:12:4:5 | object literal |
| commonjs2.js:1:1:4:0 | <toplevel> | commonjs2 | commonjs2.js:1:1:4:0 | exports object of module commonjs2 |
| commonjs2.js:1:1:4:0 | <toplevel> | commonjs2 | commonjs2.js:1:18:3:1 | object literal |
| commonjs.js:1:1:3:0 | <toplevel> | commonjs | commonjs.js:1:1:3:0 | exports object of module commonjs |
| es6.js:1:1:7:0 | <toplevel> | es6 | es6.js:1:1:7:0 | exports object of module es6 |
| m.js:1:1:4:0 | <toplevel> | m | m.js:1:1:4:0 | exports object of module m |
| m.js:1:1:4:0 | <toplevel> | m | m.js:1:16:3:1 | object literal |
analyzedModule_getExportsProperty
| amd2.js:1:1:6:0 | <toplevel> | amd2 | property exports of module object of module amd2 |
| amd3.js:1:1:4:0 | <toplevel> | amd3 | property exports of module object of module amd3 |
| amd.js:1:1:6:0 | <toplevel> | amd | property exports of module object of module amd |
| commonjs2.js:1:1:4:0 | <toplevel> | commonjs2 | property exports of module object of module commonjs2 |
| commonjs.js:1:1:3:0 | <toplevel> | commonjs | property exports of module object of module commonjs |
| es6.js:1:1:7:0 | <toplevel> | es6 | property exports of module object of module es6 |
| m.js:1:1:4:0 | <toplevel> | m | property exports of module object of module m |
analyzedModule_getModuleObject
| amd2.js:1:1:6:0 | <toplevel> | amd2 | amd2.js:1:1:6:0 | module object of module amd2 |
| amd3.js:1:1:4:0 | <toplevel> | amd3 | amd3.js:1:1:4:0 | module object of module amd3 |
| amd.js:1:1:6:0 | <toplevel> | amd | amd.js:1:1:6:0 | module object of module amd |
| commonjs2.js:1:1:4:0 | <toplevel> | commonjs2 | commonjs2.js:1:1:4:0 | module object of module commonjs2 |
| commonjs.js:1:1:3:0 | <toplevel> | commonjs | commonjs.js:1:1:3:0 | module object of module commonjs |
| es6.js:1:1:7:0 | <toplevel> | es6 | es6.js:1:1:7:0 | module object of module es6 |
| m.js:1:1:4:0 | <toplevel> | m | m.js:1:1:4:0 | module object of module m |

25
javascript/ql/test/library-tests/TypeInference/AnalyzedModule/tests.ql Normal file
View File

@@ -0,0 +1,25 @@
import javascript
query predicate analyzedModule_getAnExportedValue(
AnalyzedModule m, string n, AbstractValue val, string name
) {
val = m.getAnExportedValue(n) and
name = m.getName()
}
query predicate analyzedModule_getAnExportsValue(AnalyzedModule m, string name, AbstractValue val) {
m.getName() = name and
m.getAnExportsValue() = val
}
query predicate analyzedModule_getExportsProperty(
AnalyzedModule m, string name, AbstractProperty prop
) {
name = m.getName() and prop = m.getExportsProperty()
}
query predicate analyzedModule_getModuleObject(
AnalyzedModule m, string name, AbstractModuleObject mod
) {
name = m.getName() and mod = m.getModuleObject()
}