hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Update tests to new partial flow api

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-10-26 14:09:03 +02:00
parent b1d4ca505d
commit 35f6e6ebb4
6 changed files with 11 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
java/ql/test/library-tests/dataflow/state/test.ql
View File

@@ -57,7 +57,9 @@ int explorationLimit() { result = 0 }
module Flow = TaintTracking::GlobalWithState<Config>;
module PartialFlow = Flow::FlowExploration<explorationLimit/0>;
module PartialFlowFwd = Flow::FlowExplorationFwd<explorationLimit/0>;
module PartialFlowRev = Flow::FlowExplorationRev<explorationLimit/0>;
module HasFlowTest implements TestSig {
string getARelevantTag() { result = ["pFwd", "pRev", "flow"] }
@@ -72,8 +74,8 @@ module HasFlowTest implements TestSig {
)
or
tag = "pFwd" and
exists(PartialFlow::PartialPathNode src, PartialFlow::PartialPathNode node |
PartialFlow::partialFlow(src, node, _) and
exists(PartialFlowFwd::PartialPathNode src, PartialFlowFwd::PartialPathNode node |
PartialFlowFwd::partialFlow(src, node, _) and
checkNode(node.getNode()) and
node.getNode().getLocation() = location and
element = node.toString() and
@@ -81,8 +83,8 @@ module HasFlowTest implements TestSig {
)
or
tag = "pRev" and
exists(PartialFlow::PartialPathNode node, PartialFlow::PartialPathNode sink |
PartialFlow::partialFlowRev(node, sink, _) and
exists(PartialFlowRev::PartialPathNode node, PartialFlowRev::PartialPathNode sink |
PartialFlowRev::partialFlow(node, sink, _) and
checkNode(node.getNode()) and
node.getNode().getLocation() = location and
element = node.toString() and