github
diff --git a/‎ruby/ql/lib/codeql/ruby/ast/Module.qll
Copy file name to clipboardExpand all lines: ruby/ql/lib/codeql/ruby/ast/Module.qll
+5Lines changed: 5 additions & 0 deletions b/‎ruby/ql/lib/codeql/ruby/ast/Module.qll
Copy file name to clipboardExpand all lines: ruby/ql/lib/codeql/ruby/ast/Module.qll
+5Lines changed: 5 additions & 0 deletions
diff --git a/‎ruby/ql/lib/codeql/ruby/ast/internal/Module.qll
Copy file name to clipboardExpand all lines: ruby/ql/lib/codeql/ruby/ast/internal/Module.qll
+3Lines changed: 3 additions & 0 deletions b/‎ruby/ql/lib/codeql/ruby/ast/internal/Module.qll
Copy file name to clipboardExpand all lines: ruby/ql/lib/codeql/ruby/ast/internal/Module.qll
+3Lines changed: 3 additions & 0 deletions
diff --git a/‎ruby/ql/src/queries/modeling/internal/Types.qll
Copy file name to clipboardExpand all lines: ruby/ql/src/queries/modeling/internal/Types.qll
+11Lines changed: 11 additions & 0 deletions b/‎ruby/ql/src/queries/modeling/internal/Types.qll
Copy file name to clipboardExpand all lines: ruby/ql/src/queries/modeling/internal/Types.qll
+11Lines changed: 11 additions & 0 deletions
@@ -173,6 +173,11 @@ class Module extends TModule {
     result.getParentModule() = this and
     result.getOwnModuleName() = name
   }
+
+  /**
+   * Holds if this is a built-in module, e.g. `Object`.
+   */
+  predicate isBuiltin() { isBuiltinModule(this) }
 }
 
 /**
 
@@ -42,6 +42,9 @@ private module Cached {
     result = getAnAssumedGlobalNamespacePrefix(n)
   }
 
+  cached
+  predicate isBuiltinModule(Module m) { m = TResolved(builtin()) }
+
   cached
   Module getSuperClass(Module cls) {
     cls = TResolved("Object") and result = TResolved("BasicObject")
 
@@ -6,6 +6,8 @@
 private import ruby
 private import codeql.ruby.ApiGraphs
 private import Util as Util
+private import codeql.ruby.ast.Module
+private import codeql.ruby.ast.internal.Module
 
 /**
  * Contains predicates for generating `typeModel`s that contain typing
@@ -42,5 +44,14 @@ module Types {
       valueHasTypeName(node.getAValueReachingSink(), type1) and
       Util::pathToNode(node, type2, path, true)
     )
+    or
+    // class Type2 < Type1
+    // class Type2; include Type1
+    // class Type2; extend Type1
+    exists(Module m1, Module m2 |
+      m2.getAnImmediateAncestor() = m1 and not m2.isBuiltin() and not m1.isBuiltin()
+    |
+      m1.getQualifiedName() = type1 and m2.getQualifiedName() = type2 and path = ""
+    )
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -173,6 +173,11 @@ class Module extends TModule {`
`173`	`173`	`result.getParentModule() = this and`
`174`	`174`	`result.getOwnModuleName() = name`
`175`	`175`	`}`
	`176`	`+`
	`177`	`+ /**`
	`178`	+ * Holds if this is a built-in module, e.g. `Object`.
	`179`	`+ */`
	`180`	`+ predicate isBuiltin() { isBuiltinModule(this) }`
`176`	`181`	`}`
`177`	`182`
`178`	`183`	`/**`