Kotlin: Add CFG for VarArgExpr

2026-04-27 09:45:15 +02:00 · 2021-11-26 14:16:13 +00:00
parent 8440bafc42
commit 712d70248a
1 changed files with 6 additions and 0 deletions
--- 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()