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

Accept test changes

Browse Source
This commit is contained in:
Chris Smowton
2022-10-06 11:05:10 +01:00
parent 020f29a1ab
commit 86e5e4c4bc
8 changed files with 138 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

63
java/ql/integration-tests/posix-only/kotlin/gradle_kotlinx_serialization/PrintAst.expected
View File

@@ -65,7 +65,48 @@ app/src/main/kotlin/testProject/App.kt:
# 0| -3: [TypeAccess] Project
# 0| 0: [VarAccess] name
# 0| 1: [VarAccess] language
# 0| 5: [Method] equals
# 0| 5: [Method] copy$default
# 0| 3: [TypeAccess] Project
#-----| 4: (Parameters)
# 0| 0: [Parameter] p0
# 0| 0: [TypeAccess] Project
# 0| 1: [Parameter] p1
# 0| 0: [TypeAccess] String
# 0| 2: [Parameter] p2
# 0| 0: [TypeAccess] int
# 0| 3: [Parameter] p3
# 0| 0: [TypeAccess] int
# 0| 4: [Parameter] p4
# 0| 0: [TypeAccess] Object
# 0| 5: [BlockStmt] { ... }
# 0| 0: [IfStmt] if (...)
# 0| 0: [EQExpr] ... == ...
# 0| 0: [AndBitwiseExpr] ... & ...
# 0| 0: [IntegerLiteral] 1
# 0| 1: [VarAccess] p3
# 0| 1: [IntegerLiteral] 0
# 0| 1: [ExprStmt] <Expr>;
# 0| 0: [AssignExpr] ...=...
# 0| 0: [VarAccess] p1
# 0| 1: [VarAccess] p0.name
# 0| -1: [VarAccess] p0
# 0| 1: [IfStmt] if (...)
# 0| 0: [EQExpr] ... == ...
# 0| 0: [AndBitwiseExpr] ... & ...
# 0| 0: [IntegerLiteral] 2
# 0| 1: [VarAccess] p3
# 0| 1: [IntegerLiteral] 0
# 0| 1: [ExprStmt] <Expr>;
# 0| 0: [AssignExpr] ...=...
# 0| 0: [VarAccess] p2
# 0| 1: [VarAccess] p0.language
# 0| -1: [VarAccess] p0
# 0| 2: [ReturnStmt] return ...
# 0| 0: [MethodAccess] copy(...)
# 0| -1: [VarAccess] p0
# 0| 0: [VarAccess] p1
# 0| 1: [VarAccess] p2
# 0| 6: [Method] equals
# 0| 3: [TypeAccess] boolean
#-----| 4: (Parameters)
# 0| 0: [Parameter] other
@@ -114,7 +155,7 @@ app/src/main/kotlin/testProject/App.kt:
# 0| 0: [BooleanLiteral] false
# 0| 5: [ReturnStmt] return ...
# 0| 0: [BooleanLiteral] true
# 0| 6: [Method] hashCode
# 0| 7: [Method] hashCode
# 0| 3: [TypeAccess] int
# 0| 5: [BlockStmt] { ... }
# 0| 0: [LocalVariableDeclStmt] var ...;
@@ -134,7 +175,7 @@ app/src/main/kotlin/testProject/App.kt:
# 0| -1: [ThisAccess] this
# 0| 2: [ReturnStmt] return ...
# 0| 0: [VarAccess] result
# 0| 7: [Method] toString
# 0| 8: [Method] toString
# 0| 3: [TypeAccess] String
# 0| 5: [BlockStmt] { ... }
# 0| 0: [ReturnStmt] return ...
@@ -148,7 +189,7 @@ app/src/main/kotlin/testProject/App.kt:
# 0| 5: [VarAccess] this.language
# 0| -1: [ThisAccess] this
# 0| 6: [StringLiteral] )
# 0| 8: [Method] write$Self
# 0| 9: [Method] write$Self
# 0| 3: [TypeAccess] Unit
#-----| 4: (Parameters)
# 0| 0: [Parameter] self
@@ -172,7 +213,7 @@ app/src/main/kotlin/testProject/App.kt:
# 7| 1: [IntegerLiteral] 1
# 7| 2: [MethodAccess] getLanguage(...)
# 7| -1: [VarAccess] self
# 7| 9: [Class] $serializer
# 7| 10: [Class] $serializer
# 0| 1: [FieldDeclaration] SerialDescriptor descriptor;
# 0| -1: [TypeAccess] SerialDescriptor
# 0| 2: [Method] childSerializers
@@ -384,7 +425,7 @@ app/src/main/kotlin/testProject/App.kt:
# 7| -1: [ThisAccess] $serializer.this
# 7| 0: [TypeAccess] $serializer
# 7| 1: [VarAccess] tmp0_serialDesc
# 7| 10: [Class] Companion
# 7| 11: [Class] Companion
# 0| 1: [Method] serializer
# 0| 3: [TypeAccess] KSerializer<Project>
# 0| 0: [TypeAccess] Project
@@ -395,7 +436,7 @@ app/src/main/kotlin/testProject/App.kt:
# 7| 5: [BlockStmt] { ... }
# 7| 0: [SuperConstructorInvocationStmt] super(...)
# 7| 1: [BlockStmt] { ... }
# 8| 11: [Constructor] Project
# 8| 12: [Constructor] Project
#-----| 4: (Parameters)
# 8| 0: [Parameter] name
# 8| 0: [TypeAccess] String
@@ -410,21 +451,21 @@ app/src/main/kotlin/testProject/App.kt:
# 8| 1: [ExprStmt] <Expr>;
# 8| 0: [KtInitializerAssignExpr] ...=...
# 8| 0: [VarAccess] language
# 8| 12: [FieldDeclaration] String name;
# 8| 13: [FieldDeclaration] String name;
# 8| -1: [TypeAccess] String
# 8| 0: [VarAccess] name
# 8| 13: [Method] getName
# 8| 14: [Method] getName
# 8| 3: [TypeAccess] String
# 8| 5: [BlockStmt] { ... }
# 8| 0: [ReturnStmt] return ...
# 8| 0: [VarAccess] this.name
# 8| -1: [ThisAccess] this
# 8| 14: [Method] getLanguage
# 8| 15: [Method] getLanguage
# 8| 3: [TypeAccess] int
# 8| 5: [BlockStmt] { ... }
# 8| 0: [ReturnStmt] return ...
# 8| 0: [VarAccess] this.language
# 8| -1: [ThisAccess] this
# 8| 15: [FieldDeclaration] int language;
# 8| 16: [FieldDeclaration] int language;
# 8| -1: [TypeAccess] int
# 8| 0: [VarAccess] language

57
java/ql/test/kotlin/library-tests/data-classes/PrintAst.expected
View File

@@ -28,7 +28,48 @@ dc.kt:
# 0| -3: [TypeAccess] ProtoMapValue
# 0| 0: [VarAccess] bytes
# 0| 1: [VarAccess] strs
# 0| 4: [Method] equals
# 0| 4: [Method] copy$default
# 0| 3: [TypeAccess] ProtoMapValue
#-----| 4: (Parameters)
# 0| 0: [Parameter] p0
# 0| 0: [TypeAccess] ProtoMapValue
# 0| 1: [Parameter] p1
# 0| 0: [TypeAccess] byte[]
# 0| 2: [Parameter] p2
# 0| 0: [TypeAccess] String[]
# 0| 3: [Parameter] p3
# 0| 0: [TypeAccess] int
# 0| 4: [Parameter] p4
# 0| 0: [TypeAccess] Object
# 0| 5: [BlockStmt] { ... }
# 0| 0: [IfStmt] if (...)
# 0| 0: [EQExpr] ... == ...
# 0| 0: [AndBitwiseExpr] ... & ...
# 0| 0: [IntegerLiteral] 1
# 0| 1: [VarAccess] p3
# 0| 1: [IntegerLiteral] 0
# 0| 1: [ExprStmt] <Expr>;
# 0| 0: [AssignExpr] ...=...
# 0| 0: [VarAccess] p1
# 0| 1: [VarAccess] p0.bytes
# 0| -1: [VarAccess] p0
# 0| 1: [IfStmt] if (...)
# 0| 0: [EQExpr] ... == ...
# 0| 0: [AndBitwiseExpr] ... & ...
# 0| 0: [IntegerLiteral] 2
# 0| 1: [VarAccess] p3
# 0| 1: [IntegerLiteral] 0
# 0| 1: [ExprStmt] <Expr>;
# 0| 0: [AssignExpr] ...=...
# 0| 0: [VarAccess] p2
# 0| 1: [VarAccess] p0.strs
# 0| -1: [VarAccess] p0
# 0| 2: [ReturnStmt] return ...
# 0| 0: [MethodAccess] copy(...)
# 0| -1: [VarAccess] p0
# 0| 0: [VarAccess] p1
# 0| 1: [VarAccess] p2
# 0| 5: [Method] equals
# 0| 3: [TypeAccess] boolean
#-----| 4: (Parameters)
# 0| 0: [Parameter] other
@@ -77,7 +118,7 @@ dc.kt:
# 0| 0: [BooleanLiteral] false
# 0| 5: [ReturnStmt] return ...
# 0| 0: [BooleanLiteral] true
# 0| 5: [Method] hashCode
# 0| 6: [Method] hashCode
# 0| 3: [TypeAccess] int
# 0| 5: [BlockStmt] { ... }
# 0| 0: [LocalVariableDeclStmt] var ...;
@@ -99,7 +140,7 @@ dc.kt:
# 0| -1: [ThisAccess] this
# 0| 2: [ReturnStmt] return ...
# 0| 0: [VarAccess] result
# 0| 6: [Method] toString
# 0| 7: [Method] toString
# 0| 3: [TypeAccess] String
# 0| 5: [BlockStmt] { ... }
# 0| 0: [ReturnStmt] return ...
@@ -117,7 +158,7 @@ dc.kt:
# 0| 0: [VarAccess] this.strs
# 0| -1: [ThisAccess] this
# 0| 6: [StringLiteral] )
# 1| 7: [Constructor] ProtoMapValue
# 1| 8: [Constructor] ProtoMapValue
#-----| 4: (Parameters)
# 1| 0: [Parameter] bytes
# 1| 0: [TypeAccess] byte[]
@@ -133,20 +174,20 @@ dc.kt:
# 1| 1: [ExprStmt] <Expr>;
# 1| 0: [KtInitializerAssignExpr] ...=...
# 1| 0: [VarAccess] strs
# 1| 8: [FieldDeclaration] byte[] bytes;
# 1| 9: [FieldDeclaration] byte[] bytes;
# 1| -1: [TypeAccess] byte[]
# 1| 0: [VarAccess] bytes
# 1| 9: [Method] getBytes
# 1| 10: [Method] getBytes
# 1| 3: [TypeAccess] byte[]
# 1| 5: [BlockStmt] { ... }
# 1| 0: [ReturnStmt] return ...
# 1| 0: [VarAccess] this.bytes
# 1| -1: [ThisAccess] this
# 1| 10: [FieldDeclaration] String[] strs;
# 1| 11: [FieldDeclaration] String[] strs;
# 1| -1: [TypeAccess] String[]
# 1| 0: [TypeAccess] String
# 1| 0: [VarAccess] strs
# 1| 11: [Method] getStrs
# 1| 12: [Method] getStrs
# 1| 3: [TypeAccess] String[]
# 1| 0: [TypeAccess] String
# 1| 5: [BlockStmt] { ... }

1
java/ql/test/kotlin/library-tests/data-classes/callees.expected
View File

@@ -1,3 +1,4 @@
| dc.kt:0:0:0:0 | copy(...) | ProtoMapValue.copy |
| dc.kt:0:0:0:0 | hashCode(...) | java.util.Arrays.hashCode |
| dc.kt:0:0:0:0 | hashCode(...) | java.util.Arrays.hashCode |
| dc.kt:0:0:0:0 | new ProtoMapValue(...) | ProtoMapValue.ProtoMapValue |

28
java/ql/test/kotlin/library-tests/methods/exprs.expected
View File

@@ -12,27 +12,42 @@
| clinit.kt:3:1:3:24 | int | TypeAccess |
| clinit.kt:3:1:3:24 | int | TypeAccess |
| clinit.kt:3:24:3:24 | 0 | IntegerLiteral |
| dataClass.kt:0:0:0:0 | 0 | IntegerLiteral |
| dataClass.kt:0:0:0:0 | 0 | IntegerLiteral |
| dataClass.kt:0:0:0:0 | 1 | IntegerLiteral |
| dataClass.kt:0:0:0:0 | 2 | IntegerLiteral |
| dataClass.kt:0:0:0:0 | 31 | IntegerLiteral |
| dataClass.kt:0:0:0:0 | "..." | StringTemplateExpr |
| dataClass.kt:0:0:0:0 | (...)... | CastExpr |
| dataClass.kt:0:0:0:0 | ) | StringLiteral |
| dataClass.kt:0:0:0:0 | , | StringLiteral |
| dataClass.kt:0:0:0:0 | ... !is ... | NotInstanceOfExpr |
| dataClass.kt:0:0:0:0 | ... & ... | AndBitwiseExpr |
| dataClass.kt:0:0:0:0 | ... & ... | AndBitwiseExpr |
| dataClass.kt:0:0:0:0 | ... (value not-equals) ... | ValueNEExpr |
| dataClass.kt:0:0:0:0 | ... (value not-equals) ... | ValueNEExpr |
| dataClass.kt:0:0:0:0 | ... * ... | MulExpr |
| dataClass.kt:0:0:0:0 | ... + ... | AddExpr |
| dataClass.kt:0:0:0:0 | ... == ... | EQExpr |
| dataClass.kt:0:0:0:0 | ... == ... | EQExpr |
| dataClass.kt:0:0:0:0 | ... == ... | EQExpr |
| dataClass.kt:0:0:0:0 | ...=... | AssignExpr |
| dataClass.kt:0:0:0:0 | ...=... | AssignExpr |
| dataClass.kt:0:0:0:0 | ...=... | AssignExpr |
| dataClass.kt:0:0:0:0 | DataClass | TypeAccess |
| dataClass.kt:0:0:0:0 | DataClass | TypeAccess |
| dataClass.kt:0:0:0:0 | DataClass | TypeAccess |
| dataClass.kt:0:0:0:0 | DataClass | TypeAccess |
| dataClass.kt:0:0:0:0 | DataClass | TypeAccess |
| dataClass.kt:0:0:0:0 | DataClass | TypeAccess |
| dataClass.kt:0:0:0:0 | DataClass( | StringLiteral |
| dataClass.kt:0:0:0:0 | Object | TypeAccess |
| dataClass.kt:0:0:0:0 | Object | TypeAccess |
| dataClass.kt:0:0:0:0 | String | TypeAccess |
| dataClass.kt:0:0:0:0 | String | TypeAccess |
| dataClass.kt:0:0:0:0 | String | TypeAccess |
| dataClass.kt:0:0:0:0 | boolean | TypeAccess |
| dataClass.kt:0:0:0:0 | copy(...) | MethodAccess |
| dataClass.kt:0:0:0:0 | false | BooleanLiteral |
| dataClass.kt:0:0:0:0 | false | BooleanLiteral |
| dataClass.kt:0:0:0:0 | false | BooleanLiteral |
@@ -40,10 +55,23 @@
| dataClass.kt:0:0:0:0 | hashCode(...) | MethodAccess |
| dataClass.kt:0:0:0:0 | int | TypeAccess |
| dataClass.kt:0:0:0:0 | int | TypeAccess |
| dataClass.kt:0:0:0:0 | int | TypeAccess |
| dataClass.kt:0:0:0:0 | int | TypeAccess |
| dataClass.kt:0:0:0:0 | new DataClass(...) | ClassInstanceExpr |
| dataClass.kt:0:0:0:0 | other | VarAccess |
| dataClass.kt:0:0:0:0 | other | VarAccess |
| dataClass.kt:0:0:0:0 | other | VarAccess |
| dataClass.kt:0:0:0:0 | p0 | VarAccess |
| dataClass.kt:0:0:0:0 | p0 | VarAccess |
| dataClass.kt:0:0:0:0 | p0 | VarAccess |
| dataClass.kt:0:0:0:0 | p0.x | VarAccess |
| dataClass.kt:0:0:0:0 | p0.y | VarAccess |
| dataClass.kt:0:0:0:0 | p1 | VarAccess |
| dataClass.kt:0:0:0:0 | p1 | VarAccess |
| dataClass.kt:0:0:0:0 | p2 | VarAccess |
| dataClass.kt:0:0:0:0 | p2 | VarAccess |
| dataClass.kt:0:0:0:0 | p3 | VarAccess |
| dataClass.kt:0:0:0:0 | p3 | VarAccess |
| dataClass.kt:0:0:0:0 | result | LocalVariableDeclExpr |
| dataClass.kt:0:0:0:0 | result | VarAccess |
| dataClass.kt:0:0:0:0 | result | VarAccess |

1
java/ql/test/kotlin/library-tests/methods/methods.expected
View File

@@ -5,6 +5,7 @@ methods
| dataClass.kt:1:1:1:47 | DataClass | dataClass.kt:0:0:0:0 | component1 | component1() | public | Compiler generated |
| dataClass.kt:1:1:1:47 | DataClass | dataClass.kt:0:0:0:0 | component2 | component2() | public | Compiler generated |
| dataClass.kt:1:1:1:47 | DataClass | dataClass.kt:0:0:0:0 | copy | copy(int,java.lang.String) | public | Compiler generated |
| dataClass.kt:1:1:1:47 | DataClass | dataClass.kt:0:0:0:0 | copy$default | copy$default(DataClass,int,java.lang.String,int,java.lang.Object) | public, static | Compiler generated |
| dataClass.kt:1:1:1:47 | DataClass | dataClass.kt:0:0:0:0 | equals | equals(java.lang.Object) | override, public | Compiler generated |
| dataClass.kt:1:1:1:47 | DataClass | dataClass.kt:0:0:0:0 | hashCode | hashCode() | override, public | Compiler generated |
| dataClass.kt:1:1:1:47 | DataClass | dataClass.kt:0:0:0:0 | toString | toString() | override, public | Compiler generated |

5
java/ql/test/kotlin/library-tests/methods/parameters.expected
View File

@@ -1,6 +1,11 @@
| clinit.kt:3:1:3:24 | setTopLevelInt | clinit.kt:3:1:3:24 | <set-?> | 0 |
| dataClass.kt:0:0:0:0 | copy | dataClass.kt:1:22:1:31 | x | 0 |
| dataClass.kt:0:0:0:0 | copy | dataClass.kt:1:34:1:46 | y | 1 |
| dataClass.kt:0:0:0:0 | copy$default | dataClass.kt:0:0:0:0 | p0 | 0 |
| dataClass.kt:0:0:0:0 | copy$default | dataClass.kt:0:0:0:0 | p1 | 1 |
| dataClass.kt:0:0:0:0 | copy$default | dataClass.kt:0:0:0:0 | p2 | 2 |
| dataClass.kt:0:0:0:0 | copy$default | dataClass.kt:0:0:0:0 | p3 | 3 |
| dataClass.kt:0:0:0:0 | copy$default | dataClass.kt:0:0:0:0 | p4 | 4 |
| dataClass.kt:0:0:0:0 | equals | dataClass.kt:0:0:0:0 | other | 0 |
| dataClass.kt:1:34:1:46 | setY | dataClass.kt:1:34:1:46 | <set-?> | 0 |
| delegates.kt:4:18:6:5 | get | delegates.kt:4:18:6:5 | a0 | 0 |

2
java/ql/test/kotlin/library-tests/multiple_extensions/calls.expected
View File

@@ -1,4 +1,4 @@
| PropertyReferenceDelegatesKt | getValue(KProperty0<? extends V>, Object, KProperty<?>) |
| PropertyReferenceDelegatesKt | getValue(KProperty1<T,? extends V>, T, KProperty<?>) |
| StringsKt | removePrefix(String, CharSequence) |
| StringsKt | startsWith(String, String, boolean) |
| StringsKt | startsWith$default(String, String, boolean, int, Object) |

1
java/ql/test/kotlin/library-tests/reflection/reflection.expected
View File

@@ -233,6 +233,7 @@ compGenerated
| file://<external>/Class2.class:0:0:0:0 | getValue | 3 |
| file://<external>/Class2.class:0:0:0:0 | getValue | 3 |
| file://<external>/KTypeProjection.class:0:0:0:0 | contravariant | 8 |
| file://<external>/KTypeProjection.class:0:0:0:0 | copy$default | 10 |
| file://<external>/KTypeProjection.class:0:0:0:0 | covariant | 8 |
| file://<external>/KTypeProjection.class:0:0:0:0 | invariant | 8 |
| reflection.kt:33:9:33:23 | getP0 | 3 |