Add types of lambdas and methods

Author: aibaars

ql/src/codeql_ruby/ast/internal/Module.qll

@@ -12,7 +12,7 @@ private string builtin() {
   result =
     [
       "Object", "Kernel", "BasicObject", "Class", "Module", "NilClass", "FalseClass", "TrueClass",
-      "Numeric", "Integer", "Float", "Rational", "Complex", "Array", "Hash"
+      "Numeric", "Integer", "Float", "Rational", "Complex", "Array", "Hash", "Symbol", "Proc"
     ]
 }
 

ql/src/codeql_ruby/dataflow/internal/DataFlowDispatch.qll

@@ -125,6 +125,12 @@ private DataFlow::LocalSourceNode trackInstance(Module tp, TypeTracker t) {
     or
     result.asExpr().getExpr() instanceof HashLiteral and tp = TResolved("Hash")
     or
+    result.asExpr().getExpr() instanceof MethodBase and tp = TResolved("Symbol")
+    or
+    result.asParameter() instanceof BlockParameter and tp = TResolved("Proc")
+    or
+    result.asExpr().getExpr() instanceof Lambda and tp = TResolved("Proc")
+    or
     exists(CfgNodes::ExprNodes::CallCfgNode call, DataFlow::Node nodeTo |
       call.getExpr().(MethodCall).getMethodName() = "new" and
       nodeTo.asExpr() = call.getReceiver() and

ql/test/library-tests/modules/ancestors.expected

@@ -37,9 +37,13 @@ calls.rb:
 #-----| Numeric
 #-----| super -> Object
 
+#-----| Proc
+
 #-----| Rational
 #-----| super -> Numeric
 
+#-----| Symbol
+
 #-----| TrueClass
 #-----| super -> Object
 

ql/test/library-tests/modules/modules.expected

@@ -19,7 +19,9 @@ getModule
 | file://:0:0:0:0 | Float |
 | file://:0:0:0:0 | NilClass |
 | file://:0:0:0:0 | Numeric |
+| file://:0:0:0:0 | Proc |
 | file://:0:0:0:0 | Rational |
+| file://:0:0:0:0 | Symbol |
 | file://:0:0:0:0 | TrueClass |
 | hello.rb:1:1:8:3 | EnglishWords |
 | hello.rb:11:1:16:3 | Greeting |

ql/test/library-tests/modules/superclasses.expected

@@ -36,9 +36,13 @@ calls.rb:
 #-----| Numeric
 #-----|  -> Object
 
+#-----| Proc
+
 #-----| Rational
 #-----|  -> Numeric
 
+#-----| Symbol
+
 #-----| TrueClass
 #-----|  -> Object