Move check to exlude test cases so that it also covers exponential redos

This commit is contained in:
Joe Farebrother
2022-03-16 16:04:48 +00:00
parent 1605d36ddf
commit 375ded4ede

View File

@@ -17,6 +17,10 @@ private class RegexCompileFlowConf extends DataFlow2::Configuration {
override predicate isSink(DataFlow::Node node) {
sinkNode(node, ["regex-compile", "regex-compile-match", "regex-compile-find"])
}
override predicate isBarrier(DataFlow::Node node) {
node.getEnclosingCallable().getDeclaringType() instanceof NonSecurityTestClass
}
}
/**
@@ -208,10 +212,6 @@ private class RegexMatchFlowConf extends DataFlow2::Configuration {
override predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
any(RegexAdditionalFlowStep s).step(node1, node2)
}
override predicate isBarrier(DataFlow::Node node) {
node.getEnclosingCallable().getDeclaringType() instanceof NonSecurityTestClass
}
}
/**