Update ReDoS length guard

Changes to barrier guards in a previous commit mean we need to update
this guard to match.
This commit is contained in:
Harry Maclean
2021-09-10 16:21:17 +01:00
parent b4c29425ea
commit 56983565fe

View File

@@ -124,6 +124,8 @@ module PolynomialReDoS {
)
}
override DataFlow::Node getAGuardedNode() { result = input }
override predicate checks(CfgNode node, boolean branch) {
node = input.asExpr() and branch = true
}
}
}