C#: Restrict refReadBeforeWrite

davidvenegasr · Nov 24, 2021 · 1d654d1 · 1d654d1
1 parent 1739673
commit 1d654d1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
@@ -171,7 +171,8 @@ private module SourceVariableImpl {
       def.getTarget() = lv and
       lv.isRef() and
       lv = v.getAssignable() and
-      bb.getNode(i) = def.getAControlFlowNode()
+      bb.getNode(i) = def.getAControlFlowNode() and
+      not def.getAssignment() instanceof LocalVariableDeclAndInitExpr
     )
   }