avoid a ValueNode x TypeTracker join in Hapi::RouteSetup::getARouteHandler

This commit is contained in:
Erik Krogh Kristensen
2021-02-24 18:57:32 +01:00
parent d35ea7fb15
commit 86bc7d3e1a

View File

@@ -196,11 +196,14 @@ module Hapi {
private DataFlow::SourceNode getARouteHandler(DataFlow::TypeBackTracker t) {
t.start() and
result = handler.flow().getALocalSource()
result = getRouteHandler().getALocalSource()
or
exists(DataFlow::TypeBackTracker t2 | result = getARouteHandler(t2).backtrack(t2, t))
}
pragma[noinline]
private DataFlow::Node getRouteHandler() { result = handler.flow() }
Expr getRouteHandlerExpr() { result = handler }
override Expr getServer() { result = server }