From 16113e6550787af046ed3a078f0bbdaa73aa9514 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Tue, 6 Jan 2026 23:29:02 +0000 Subject: [PATCH] Use type cast to make QL more succinct --- go/ql/src/Security/CWE-352/ConstantOauth2State.ql | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/go/ql/src/Security/CWE-352/ConstantOauth2State.ql b/go/ql/src/Security/CWE-352/ConstantOauth2State.ql index edbb41782b8..cc2a2e69718 100644 --- a/go/ql/src/Security/CWE-352/ConstantOauth2State.ql +++ b/go/ql/src/Security/CWE-352/ConstantOauth2State.ql @@ -140,9 +140,7 @@ predicate privateUrlFlowsToAuthCodeUrlCall(DataFlow::CallNode call) { module FlowToPrintConfig implements DataFlow::ConfigSig { additional predicate isSinkCall(DataFlow::Node sink, DataFlow::CallNode call) { - exists(LoggerCall logCall | call = logCall | - sink = logCall.getAValueFormattedMessageComponent() - ) + sink = call.(LoggerCall).getAValueFormattedMessageComponent() } predicate isSource(DataFlow::Node source) { source = any(AuthCodeUrl m).getACall().getResult() }