From 4066c0d84a349ea1a7cbef053f246f443c31f25d Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 11 Dec 2025 15:53:54 +0100 Subject: [PATCH] Java: Fix input/output naming. --- .../code/java/dataflow/internal/FlowSummaryImpl.qll | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll index 19d9a33328b..c712e1ae5fb 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll @@ -281,21 +281,21 @@ module SourceSinkInterpretationInput implements } predicate barrierGuardElement( - Element e, string output, Public::AcceptingValue acceptingvalue, string kind, + Element e, string input, Public::AcceptingValue acceptingvalue, string kind, Public::Provenance provenance, string model ) { exists( string namespace, string type, boolean subtypes, string name, string signature, string ext, - SourceOrSinkElement baseBarrier, string originalOutput, QlBuiltins::ExtensionId madId + SourceOrSinkElement baseBarrier, string originalInput, QlBuiltins::ExtensionId madId | - barrierGuardModel(namespace, type, subtypes, name, signature, ext, originalOutput, + barrierGuardModel(namespace, type, subtypes, name, signature, ext, originalInput, acceptingvalue, kind, provenance, madId) and model = "MaD:" + madId.toString() and baseBarrier = interpretElement(namespace, type, subtypes, name, signature, ext, _) and ( - e = baseBarrier and output = originalOutput + e = baseBarrier and input = originalInput or - correspondingKotlinParameterDefaultsArgSpec(baseBarrier, e, originalOutput, output) + correspondingKotlinParameterDefaultsArgSpec(baseBarrier, e, originalInput, input) ) ) }