hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Update dependencies.

Browse Source
This commit is contained in:
Michael Nebel
2022-05-23 16:14:18 +02:00
parent 94664f11f5
commit a8b103b89c
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/test/library-tests/dataflow/external-models/steps.ql
View File

@@ -22,5 +22,5 @@ class SummaryModelTest extends SummaryModelCsv {
} }
from DataFlow::Node node1, DataFlow::Node node2 from DataFlow::Node node1, DataFlow::Node node2
where FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(node1, node2) where FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(node1, node2, _)
select node1, node2 select node1, node2

2
java/ql/test/library-tests/dataflow/local-additional-taint/localAdditionalTaintStep.ql
View File

@@ -16,7 +16,7 @@ from DataFlow::Node src, DataFlow::Node sink
where where
( (
localAdditionalTaintStep(src, sink) or localAdditionalTaintStep(src, sink) or
FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(src, sink) FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(src, sink, _)
) and ) and
not FlowSummaryImpl::Private::Steps::summaryLocalStep(src, sink, false) and not FlowSummaryImpl::Private::Steps::summaryLocalStep(src, sink, false) and
not FlowSummaryImpl::Private::Steps::summaryReadStep(src, _, sink) and not FlowSummaryImpl::Private::Steps::summaryReadStep(src, _, sink) and