From bc2e7d4e0da9179de6926fc1743638ac170b0d83 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Fri, 18 Jul 2025 13:53:15 +0200 Subject: [PATCH] Java: Fix accidental CP in CFG for asserts. --- java/ql/lib/semmle/code/java/ControlFlowGraph.qll | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll index 7188e1e6e212..612bca35a600 100644 --- 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 pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy