Kotlin: Consider ::class type check in equals

Author: tamasvajk

java/ql/src/Likely Bugs/Comparison/MissingInstanceofInEquals.ql

@@ -30,6 +30,8 @@ predicate hasTypeTest(Variable v) {
   or
   any(SafeCastExpr sce).getExpr() = v.getAnAccess()
   or
+  any(ClassExpr c).getExpr() = v.getAnAccess()
+  or
   exists(MethodAccess ma |
     ma.getMethod().getName() = "getClass" and
     ma.getQualifier() = v.getAnAccess()

java/ql/test/kotlin/query-tests/MissingInstanceofInEquals/MissingInstanceofInEquals.expected

@@ -1 +0,0 @@
-| Test.kt:10:14:12:5 | equals | This 'equals()' method does not check argument type. |