Kotlin: Add CFG for ClassExpr

2026-04-27 17:55:19 +02:00 · 2021-11-26 13:25:13 +00:00
parent 2135a870d3
commit 5ae74949a0
1 changed files with 4 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 ClassExpr
+      or
      this instanceof RValue
      or
      this instanceof Call // includes both expressions and statements
@@ -554,6 +556,8 @@ private module ControlFlowGraphImpl {
        result = e.getComponent(index)
      )
      or
+      index = 0 and result = this.(ClassExpr).getExpr()
+      or
      index = 0 and result = this.(ReturnStmt).getResult()
      or
      index = 0 and result = this.(ThrowStmt).getExpr()