Use Overlay dataflow in java.

alexet · alexet · commit 4e67b8ff371b · 2025-09-24T14:51:34.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/DataFlow.qll b/java/ql/lib/semmle/code/java/dataflow/DataFlow.qll
@@ -10,6 +10,6 @@ import java
 module DataFlow {
   private import semmle.code.java.dataflow.internal.DataFlowImplSpecific
   private import codeql.dataflow.DataFlow
-  import DataFlowMake<Location, JavaDataFlow>
+  import DataFlowMakeOverlay<Location, JavaDataFlow>
   import Public
 }

Original file line number	Diff line number	Diff line change
`@@ -10,6 +10,6 @@ import java`
`10`	`10`	`module DataFlow {`
`11`	`11`	`private import semmle.code.java.dataflow.internal.DataFlowImplSpecific`
`12`	`12`	`private import codeql.dataflow.DataFlow`
`13`		`- import DataFlowMake<Location, JavaDataFlow>`
	`13`	`+ import DataFlowMakeOverlay<Location, JavaDataFlow>`
`14`	`14`	`import Public`
`15`	`15`	`}`