import java

import semmle.code.java.dataflow.FlowSources

import utils.test.InlineExpectationsTest

module TestConfig implements DataFlow::ConfigSig {

predicate isSource(DataFlow::Node source) { source instanceof ActiveThreatModelSource }

predicate isSink(DataFlow::Node sink) {

exists(MethodCall call |

call.getMethod().hasName("sink") and call.getArgument(0) = sink.asExpr()

)

}

}

module TestFlow = TaintTracking::Global<TestConfig>;

module JmsFlowTest implements TestSig {

string getARelevantTag() { result = "tainted" }

predicate hasActualResult(Location location, string element, string tag, string value) {

tag = "tainted" and

exists(TestFlow::PathNode sink | TestFlow::flowPath(_, sink) |

location = sink.getNode().getLocation() and element = sink.getNode().toString() and value = ""

)

}

}

import MakeTest<JmsFlowTest>