Merge pull request github#17932 from aschackmull/java/kotlin-notnull-typeflow

aschackmull · web-flow · commit a3112940800c · 2024-11-08T13:48:15.000+01:00
Kotlin: Support NotNullExpr in TypeFlow.
diff --git 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()
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -127,6 +127,8 @@ private module Input implements TypeFlowInput<Location> {`
`127`	`127`	`n2.asSsa().(BaseSsaUpdate).getDefiningExpr().(VariableAssign).getSource() = n1.asExpr()`
`128`	`128`	`or`
`129`	`129`	`n2.asSsa().(BaseSsaImplicitInit).captures(n1.asSsa())`
	`130`	`+ or`
	`131`	`+ n2.asExpr().(NotNullExpr).getExpr() = n1.asExpr()`
`130`	`132`	`}`
`131`	`133`
`132`	`134`	`/**`