Kotlin: Support NotNullExpr in TypeFlow.

2026-04-27 01:35:13 +02:00 · 2024-11-07 15:25:23 +01:00
parent ff80b249ca
commit 5602570e18
1 changed files with 2 additions and 0 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
@@ -127,6 +127,8 @@ private module Input implements TypeFlowInput<Location> {
    n2.asSsa().(BaseSsaUpdate).getDefiningExpr().(VariableAssign).getSource() = n1.asExpr()
    or
    n2.asSsa().(BaseSsaImplicitInit).captures(n1.asSsa())
+    or
+    n2.asExpr().(NotNullExpr).getExpr() = n1.asExpr()
  }

  /**