Java: Fix accidental CP in CFG for asserts.

2026-02-28 04:43:42 +01:00 · 2025-07-18 13:53:15 +02:00
parent f6975117fe
commit bc2e7d4e0d
1 changed files with 2 additions and 1 deletions
--- a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll
+++ b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll
@@ -1621,7 +1621,8 @@ private module ControlFlowGraphImpl {
        result.(AssertThrowNode).getAstNode() = assertstmt
      )
      or
-      last(assertstmt.getMessage(), n, NormalCompletion()) and
+      last(assertstmt.getMessage(), n, completion) and
+      completion = NormalCompletion() and
      result.(AssertThrowNode).getAstNode() = assertstmt
    )
    or