Kotlin: Add CFG for VarArgExpr

igfoo · igfoo · commit 712d70248a9e · 2022-05-10T19:51:07.000+01:00
diff --git a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll
@@ -461,6 +461,8 @@ private module ControlFlowGraphImpl {
       or
       this instanceof StringTemplateExpr
       or
+      this instanceof VarArgExpr
+      or
       this instanceof ClassExpr
       or
       this instanceof RValue
@@ -556,6 +558,10 @@ private module ControlFlowGraphImpl {
         result = e.getComponent(index)
       )
       or
+      exists(VarArgExpr e | e = this |
+        result = e.getComponent(index)
+      )
+      or
       index = 0 and result = this.(ClassExpr).getExpr()
       or
       index = 0 and result = this.(ReturnStmt).getResult()
