C#: Fix bug in BaseSSA::reachesEndOf/3

2026-04-25 00:35:20 +02:00 · 2021-02-23 14:05:07 +01:00
parent 6213c20bc3
commit d8792f2f7f
1 changed files with 1 additions and 1 deletions
--- a/csharp/ql/src/semmle/code/csharp/dataflow/internal/BaseSSA.qll
+++ b/csharp/ql/src/semmle/code/csharp/dataflow/internal/BaseSSA.qll
@@ -101,7 +101,7 @@ module BaseSsa {
    or
    exists(BasicBlock mid |
      reachesEndOf(def, v, mid) and
-      not exists(ssaRefRank(mid, _, v, SsaDef())) and
+      not exists(ssaRefRank(bb, _, v, SsaDef())) and
      bb = mid.getASuccessor()
    )
  }