mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
23 lines
702 B
Plaintext
23 lines
702 B
Plaintext
import java
|
|
import utils.test.InlineFlowTest
|
|
|
|
module TestConfig implements DataFlow::ConfigSig {
|
|
predicate isSource(DataFlow::Node source) { DefaultFlowConfig::isSource(source) }
|
|
|
|
predicate isSink(DataFlow::Node sink) { DefaultFlowConfig::isSink(sink) }
|
|
|
|
predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
|
|
exists(MethodCall call |
|
|
call.getMethod().getName() = "step" and
|
|
node1.asExpr() = call.getArgument(0) and
|
|
node2.asExpr() = call
|
|
)
|
|
}
|
|
|
|
predicate allowImplicitRead(DataFlow::Node node, DataFlow::ContentSet content) {
|
|
isAdditionalFlowStep(node, _) and content instanceof DataFlow::FieldContent
|
|
}
|
|
}
|
|
|
|
import TaintFlowTest<TestConfig>
|