Java: Skip SSA definition nodes in data flow.

aschackmull · aschackmull · commit 7c82f5138156 · 2025-03-25T12:31:01.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
@@ -684,6 +684,8 @@ private module DataFlowIntegrationInput implements Impl::DataFlowIntegrationInpu
   predicate guardControlsBlock(Guard guard, BasicBlock bb, boolean branch) {
     guard.controls(bb, branch)
   }
+
+  predicate includeWriteDefsInFlowStep() { none() }
 }
 
 private module DataFlowIntegrationImpl = Impl::DataFlowIntegration<DataFlowIntegrationInput>;

Original file line number	Diff line number	Diff line change
`@@ -684,6 +684,8 @@ private module DataFlowIntegrationInput implements Impl::DataFlowIntegrationInpu`
`684`	`684`	`predicate guardControlsBlock(Guard guard, BasicBlock bb, boolean branch) {`
`685`	`685`	`guard.controls(bb, branch)`
`686`	`686`	`}`
	`687`	`+`
	`688`	`+ predicate includeWriteDefsInFlowStep() { none() }`
`687`	`689`	`}`
`688`	`690`
`689`	`691`	`private module DataFlowIntegrationImpl = Impl::DataFlowIntegration<DataFlowIntegrationInput>;`