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

Update test

Browse Source
This commit is contained in:
Tamas Vajk
2022-02-21 12:26:29 +01:00
committed by Ian Lynagh
parent 42803a161c
commit 55428c0c3c
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,4 +1,5 @@
import java
import semmle.code.java.dataflow.internal.DataFlowPrivate
// Stop external filepaths from appearing in the results
class ClassOrInterfaceLocation extends ClassOrInterface {
@@ -22,15 +23,15 @@ class CallableLocation extends Callable {
}
query predicate variableInitializerType(
LocalVariableDecl decl, RefType t1, RefType t2, RefType t3, boolean implements
LocalVariableDecl decl, RefType t1, RefType t2, RefType t3, boolean compatible
) {
decl.getType() = t1 and
decl.getInitializer().getType() = t2 and
t2.extendsOrImplements(t3) and
(
implements = true and t2.extendsOrImplements+(t1)
compatible = true and compatibleTypes(t1, t2)
or
implements = false and not t2.extendsOrImplements+(t1)
compatible = false and not compatibleTypes(t1, t2)
)
}