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

aggregate the tests in library-tests/TypeScript/Enums into a single .ql file

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-10-14 13:59:27 +02:00
parent fcee5fa960
commit c9a0179f42
16 changed files with 89 additions and 78 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
javascript/ql/test/library-tests/TypeScript/Enums/Analysis.expected
View File

@@ -1,3 +0,0 @@
| tst.ts:37:7:37:7 | x | number |
| tst.ts:42:7:42:7 | x | number |
| tst.ts:44:7:44:7 | A | number |

5
javascript/ql/test/library-tests/TypeScript/Enums/Analysis.ql
View File

@@ -1,5 +0,0 @@
import javascript
from VarAccess access
where access.getVariable().getScope() instanceof EnumScope
select access, access.analyze().ppTypes()

26
javascript/ql/test/library-tests/TypeScript/Enums/Enums.expected
View File

@@ -1,26 +0,0 @@
| tst.ts:1:1:1:19 | enum E { A = 1, B } | tst.ts:1:6:1:6 | E | | | | 0 | 2 | tst.ts:1:10:1:14 | A = 1 |
| tst.ts:1:1:1:19 | enum E { A = 1, B } | tst.ts:1:6:1:6 | E | | | | 1 | 2 | tst.ts:1:17:1:17 | B |
| tst.ts:3:1:3:35 | const e ... +2, b } | tst.ts:3:12:3:20 | ConstEnum | | const | | 0 | 2 | tst.ts:3:24:3:30 | a = 1+2 |
| tst.ts:3:1:3:35 | const e ... +2, b } | tst.ts:3:12:3:20 | ConstEnum | | const | | 1 | 2 | tst.ts:3:33:3:33 | b |
| tst.ts:5:1:5:34 | declare ... a, b } | tst.ts:5:14:5:25 | DeclaredEnum | | | ambient | 0 | 2 | tst.ts:5:29:5:29 | a |
| tst.ts:5:1:5:34 | declare ... a, b } | tst.ts:5:14:5:25 | DeclaredEnum | | | ambient | 1 | 2 | tst.ts:5:32:5:32 | b |
| tst.ts:6:1:6:45 | declare ... a, b } | tst.ts:6:20:6:36 | DeclaredConstEnum | | const | ambient | 0 | 2 | tst.ts:6:40:6:40 | a |
| tst.ts:6:1:6:45 | declare ... a, b } | tst.ts:6:20:6:36 | DeclaredConstEnum | | const | ambient | 1 | 2 | tst.ts:6:43:6:43 | b |
| tst.ts:9:10:9:46 | const e ... a, b } | tst.ts:9:21:9:37 | ExportedConstEnum | exported | const | | 0 | 2 | tst.ts:9:41:9:41 | a |
| tst.ts:9:10:9:46 | const e ... a, b } | tst.ts:9:21:9:37 | ExportedConstEnum | exported | const | | 1 | 2 | tst.ts:9:44:9:44 | b |
| tst.ts:14:1:16:1 | enum No ... b, c\\n} | tst.ts:14:6:14:19 | NoInitializers | | | | 0 | 3 | tst.ts:15:3:15:3 | a |
| tst.ts:14:1:16:1 | enum No ... b, c\\n} | tst.ts:14:6:14:19 | NoInitializers | | | | 1 | 3 | tst.ts:15:6:15:6 | b |
| tst.ts:14:1:16:1 | enum No ... b, c\\n} | tst.ts:14:6:14:19 | NoInitializers | | | | 2 | 3 | tst.ts:15:9:15:9 | c |
| tst.ts:18:1:20:1 | enum Pa ... b, c\\n} | tst.ts:18:6:18:25 | PartiallyInitialized | | | | 0 | 3 | tst.ts:19:3:19:7 | a = 1 |
| tst.ts:18:1:20:1 | enum Pa ... b, c\\n} | tst.ts:18:6:18:25 | PartiallyInitialized | | | | 1 | 3 | tst.ts:19:10:19:10 | b |
| tst.ts:18:1:20:1 | enum Pa ... b, c\\n} | tst.ts:18:6:18:25 | PartiallyInitialized | | | | 2 | 3 | tst.ts:19:13:19:13 | c |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | tst.ts:22:6:22:23 | ComplexInitializer | | | | 0 | 4 | tst.ts:23:3:23:7 | a = 1 |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | tst.ts:22:6:22:23 | ComplexInitializer | | | | 1 | 4 | tst.ts:24:3:24:16 | b = foo(2 + 3) |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | tst.ts:22:6:22:23 | ComplexInitializer | | | | 2 | 4 | tst.ts:25:3:25:7 | c = 2 |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | tst.ts:22:6:22:23 | ComplexInitializer | | | | 3 | 4 | tst.ts:26:3:26:7 | d = 3 |
| tst.ts:35:1:38:1 | enum Lo ... = x+1\\n} | tst.ts:35:6:35:19 | LocalReference | | | | 0 | 2 | tst.ts:36:3:36:3 | x |
| tst.ts:35:1:38:1 | enum Lo ... = x+1\\n} | tst.ts:35:6:35:19 | LocalReference | | | | 1 | 2 | tst.ts:37:3:37:9 | y = x+1 |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | tst.ts:40:6:40:25 | StringLiteralMembers | | | | 0 | 4 | tst.ts:41:3:41:5 | "x" |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | tst.ts:40:6:40:25 | StringLiteralMembers | | | | 1 | 4 | tst.ts:42:3:42:9 | y = x+1 |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | tst.ts:40:6:40:25 | StringLiteralMembers | | | | 2 | 4 | tst.ts:43:3:43:8 | "\\x41" |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | tst.ts:40:6:40:25 | StringLiteralMembers | | | | 3 | 4 | tst.ts:44:3:44:9 | z = A+1 |

13
javascript/ql/test/library-tests/TypeScript/Enums/Enums.ql
View File

@@ -1,13 +0,0 @@
import javascript
from EnumDeclaration enum, int n, string constness, string ambience, string exportedness
where
(if enum.isConst() then constness = "const" else constness = "") and
(if enum.isAmbient() then ambience = "ambient" else ambience = "") and
(
if exists(ExportNamedDeclaration ed | enum = ed.getOperand())
then exportedness = "exported"
else exportedness = ""
)
select enum, enum.getIdentifier(), exportedness, constness, ambience, n, enum.getNumMember(),
enum.getMember(n)

3
javascript/ql/test/library-tests/TypeScript/Enums/MemberAccess.expected
View File

@@ -1,3 +0,0 @@
| tst.ts:37:7:37:7 | x | tst.ts:36:3:36:3 | x |
| tst.ts:42:7:42:7 | x | tst.ts:41:3:41:5 | "x" |
| tst.ts:44:7:44:7 | A | tst.ts:43:3:43:8 | "\\x41" |

5
javascript/ql/test/library-tests/TypeScript/Enums/MemberAccess.ql
View File

@@ -1,5 +0,0 @@
import javascript
from VarAccess access, EnumMember member
where access.getVariable().getADeclaration() = member.getIdentifier()
select access, member

1
javascript/ql/test/library-tests/TypeScript/Enums/NamespaceAccess.expected
View File

@@ -1 +0,0 @@
| tst.ts:31:1:31:19 | var memberType: E.A | tst.ts:31:17:31:17 | E |

5
javascript/ql/test/library-tests/TypeScript/Enums/NamespaceAccess.ql
View File

@@ -1,5 +0,0 @@
import javascript
from EnumDeclaration enum, LocalNamespaceAccess access
where access = enum.getLocalNamespaceName().getAnAccess()
select access.getEnclosingStmt(), access

0
javascript/ql/test/library-tests/TypeScript/Enums/Reachability.expected
View File

5
javascript/ql/test/library-tests/TypeScript/Enums/Reachability.ql
View File

@@ -1,5 +0,0 @@
import javascript
from ExprOrStmt node
where node.(ControlFlowNode).isUnreachable() and not node.isAmbient()
select node

1
javascript/ql/test/library-tests/TypeScript/Enums/TypeAccess.expected
View File

@@ -1 +0,0 @@
| tst.ts:32:1:32:15 | var enumType: E | tst.ts:32:15:32:15 | E |

5
javascript/ql/test/library-tests/TypeScript/Enums/TypeAccess.ql
View File

@@ -1,5 +0,0 @@
import javascript
from EnumDeclaration enum, LocalTypeAccess access
where access = enum.getLocalTypeName().getAnAccess()
select access.getEnclosingStmt(), access

1
javascript/ql/test/library-tests/TypeScript/Enums/VariableAccess.expected
View File

@@ -1 +0,0 @@
| tst.ts:30:1:30:21 | var val ... s = E.A | tst.ts:30:19:30:19 | E |

5
javascript/ql/test/library-tests/TypeScript/Enums/VariableAccess.ql
View File

@@ -1,5 +0,0 @@
import javascript
from EnumDeclaration enum, VarAccess access
where access = enum.getVariable().getAnAccess()
select access.getEnclosingStmt(), access

42
javascript/ql/test/library-tests/TypeScript/Enums/tests.expected Normal file
View File

@@ -0,0 +1,42 @@
analysis
| tst.ts:37:7:37:7 | x | number |
| tst.ts:42:7:42:7 | x | number |
| tst.ts:44:7:44:7 | A | number |
enums
| tst.ts:1:1:1:19 | enum E { A = 1, B } | 0 | | | | tst.ts:1:6:1:6 | E | 2 | tst.ts:1:10:1:14 | A = 1 |
| tst.ts:1:1:1:19 | enum E { A = 1, B } | 1 | | | | tst.ts:1:6:1:6 | E | 2 | tst.ts:1:17:1:17 | B |
| tst.ts:3:1:3:35 | const e ... +2, b } | 0 | const | | | tst.ts:3:12:3:20 | ConstEnum | 2 | tst.ts:3:24:3:30 | a = 1+2 |
| tst.ts:3:1:3:35 | const e ... +2, b } | 1 | const | | | tst.ts:3:12:3:20 | ConstEnum | 2 | tst.ts:3:33:3:33 | b |
| tst.ts:5:1:5:34 | declare ... a, b } | 0 | | ambient | | tst.ts:5:14:5:25 | DeclaredEnum | 2 | tst.ts:5:29:5:29 | a |
| tst.ts:5:1:5:34 | declare ... a, b } | 1 | | ambient | | tst.ts:5:14:5:25 | DeclaredEnum | 2 | tst.ts:5:32:5:32 | b |
| tst.ts:6:1:6:45 | declare ... a, b } | 0 | const | ambient | | tst.ts:6:20:6:36 | DeclaredConstEnum | 2 | tst.ts:6:40:6:40 | a |
| tst.ts:6:1:6:45 | declare ... a, b } | 1 | const | ambient | | tst.ts:6:20:6:36 | DeclaredConstEnum | 2 | tst.ts:6:43:6:43 | b |
| tst.ts:9:10:9:46 | const e ... a, b } | 0 | const | | exported | tst.ts:9:21:9:37 | ExportedConstEnum | 2 | tst.ts:9:41:9:41 | a |
| tst.ts:9:10:9:46 | const e ... a, b } | 1 | const | | exported | tst.ts:9:21:9:37 | ExportedConstEnum | 2 | tst.ts:9:44:9:44 | b |
| tst.ts:14:1:16:1 | enum No ... b, c\\n} | 0 | | | | tst.ts:14:6:14:19 | NoInitializers | 3 | tst.ts:15:3:15:3 | a |
| tst.ts:14:1:16:1 | enum No ... b, c\\n} | 1 | | | | tst.ts:14:6:14:19 | NoInitializers | 3 | tst.ts:15:6:15:6 | b |
| tst.ts:14:1:16:1 | enum No ... b, c\\n} | 2 | | | | tst.ts:14:6:14:19 | NoInitializers | 3 | tst.ts:15:9:15:9 | c |
| tst.ts:18:1:20:1 | enum Pa ... b, c\\n} | 0 | | | | tst.ts:18:6:18:25 | PartiallyInitialized | 3 | tst.ts:19:3:19:7 | a = 1 |
| tst.ts:18:1:20:1 | enum Pa ... b, c\\n} | 1 | | | | tst.ts:18:6:18:25 | PartiallyInitialized | 3 | tst.ts:19:10:19:10 | b |
| tst.ts:18:1:20:1 | enum Pa ... b, c\\n} | 2 | | | | tst.ts:18:6:18:25 | PartiallyInitialized | 3 | tst.ts:19:13:19:13 | c |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | 0 | | | | tst.ts:22:6:22:23 | ComplexInitializer | 4 | tst.ts:23:3:23:7 | a = 1 |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | 1 | | | | tst.ts:22:6:22:23 | ComplexInitializer | 4 | tst.ts:24:3:24:16 | b = foo(2 + 3) |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | 2 | | | | tst.ts:22:6:22:23 | ComplexInitializer | 4 | tst.ts:25:3:25:7 | c = 2 |
| tst.ts:22:1:27:1 | enum Co ... d = 3\\n} | 3 | | | | tst.ts:22:6:22:23 | ComplexInitializer | 4 | tst.ts:26:3:26:7 | d = 3 |
| tst.ts:35:1:38:1 | enum Lo ... = x+1\\n} | 0 | | | | tst.ts:35:6:35:19 | LocalReference | 2 | tst.ts:36:3:36:3 | x |
| tst.ts:35:1:38:1 | enum Lo ... = x+1\\n} | 1 | | | | tst.ts:35:6:35:19 | LocalReference | 2 | tst.ts:37:3:37:9 | y = x+1 |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | 0 | | | | tst.ts:40:6:40:25 | StringLiteralMembers | 4 | tst.ts:41:3:41:5 | "x" |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | 1 | | | | tst.ts:40:6:40:25 | StringLiteralMembers | 4 | tst.ts:42:3:42:9 | y = x+1 |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | 2 | | | | tst.ts:40:6:40:25 | StringLiteralMembers | 4 | tst.ts:43:3:43:8 | "\\x41" |
| tst.ts:40:1:45:1 | enum St ... = A+1\\n} | 3 | | | | tst.ts:40:6:40:25 | StringLiteralMembers | 4 | tst.ts:44:3:44:9 | z = A+1 |
memberAccess
| tst.ts:37:7:37:7 | x | tst.ts:36:3:36:3 | x |
| tst.ts:42:7:42:7 | x | tst.ts:41:3:41:5 | "x" |
| tst.ts:44:7:44:7 | A | tst.ts:43:3:43:8 | "\\x41" |
namesspaceAccess
| tst.ts:1:1:1:19 | enum E { A = 1, B } | tst.ts:31:17:31:17 | E | tst.ts:31:1:31:19 | var memberType: E.A |
reachability
typeAccess
| tst.ts:1:1:1:19 | enum E { A = 1, B } | tst.ts:32:15:32:15 | E | tst.ts:32:1:32:15 | var enumType: E |
variableAccess
| tst.ts:1:1:1:19 | enum E { A = 1, B } | tst.ts:30:19:30:19 | E | tst.ts:30:1:30:21 | var val ... s = E.A |

47
javascript/ql/test/library-tests/TypeScript/Enums/tests.ql Normal file
View File

@@ -0,0 +1,47 @@
import javascript
query predicate analysis(VarAccess access, string types) {
access.getVariable().getScope() instanceof EnumScope and
types = access.analyze().ppTypes()
}
query predicate enums(
EnumDeclaration enum, int n, string constness, string ambience, string exportedness,
Identifier identifier, int numMember, EnumMember member
) {
(if enum.isConst() then constness = "const" else constness = "") and
(if enum.isAmbient() then ambience = "ambient" else ambience = "") and
(
if exists(ExportNamedDeclaration ed | enum = ed.getOperand())
then exportedness = "exported"
else exportedness = ""
) and
identifier = enum.getIdentifier() and
numMember = enum.getNumMember() and
member = enum.getMember(n)
}
query predicate memberAccess(VarAccess access, EnumMember member) {
access.getVariable().getADeclaration() = member.getIdentifier()
}
query predicate namesspaceAccess(
EnumDeclaration enum, LocalNamespaceAccess access, Stmt enclosingStmt
) {
access = enum.getLocalNamespaceName().getAnAccess() and
enclosingStmt = access.getEnclosingStmt()
}
query predicate reachability(ExprOrStmt node) {
node.(ControlFlowNode).isUnreachable() and not node.isAmbient()
}
query predicate typeAccess(EnumDeclaration enum, LocalTypeAccess access, Stmt enclosingStmt) {
access = enum.getLocalTypeName().getAnAccess() and
enclosingStmt = access.getEnclosingStmt()
}
query predicate variableAccess(EnumDeclaration enum, VarAccess access, Stmt enclosingStmt) {
access = enum.getVariable().getAnAccess() and
enclosingStmt = access.getEnclosingStmt()
}