diff --git a/java/ql/test/library-tests/dataflow/external-models/steps.ql b/java/ql/test/library-tests/dataflow/external-models/steps.ql index ea6981742be..0009f69375d 100644 --- a/java/ql/test/library-tests/dataflow/external-models/steps.ql +++ b/java/ql/test/library-tests/dataflow/external-models/steps.ql @@ -22,5 +22,5 @@ class SummaryModelTest extends SummaryModelCsv { } from DataFlow::Node node1, DataFlow::Node node2 -where FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(node1, node2) +where FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(node1, node2, _) select node1, node2 diff --git a/java/ql/test/library-tests/dataflow/local-additional-taint/localAdditionalTaintStep.ql b/java/ql/test/library-tests/dataflow/local-additional-taint/localAdditionalTaintStep.ql index 66f33278a3d..95c7b9034e5 100644 --- a/java/ql/test/library-tests/dataflow/local-additional-taint/localAdditionalTaintStep.ql +++ b/java/ql/test/library-tests/dataflow/local-additional-taint/localAdditionalTaintStep.ql @@ -16,7 +16,7 @@ from DataFlow::Node src, DataFlow::Node sink where ( localAdditionalTaintStep(src, sink) or - FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(src, sink) + FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(src, sink, _) ) and not FlowSummaryImpl::Private::Steps::summaryLocalStep(src, sink, false) and not FlowSummaryImpl::Private::Steps::summaryReadStep(src, _, sink) and