Python: Simplify predicate implementation

Co-authored-by: yoff <lerchedahl@gmail.com>
This commit is contained in:
Rasmus Wriedt Larsen
2020-12-18 14:52:20 +01:00
committed by GitHub
parent 608ce50399
commit ed11e8f916

View File

@@ -1747,13 +1747,11 @@ private module Django {
abstract DataFlow::Node getViewArg();
final override DjangoRouteHandler getARouteHandler() {
exists(DataFlow::Node viewArg | viewArg = getViewArg() |
djangoRouteHandlerFunctionTracker(result) = viewArg
or
exists(DjangoViewClassDef vc |
viewArg = vc.asViewResult() and
result = vc.getARouteHandler()
)
djangoRouteHandlerFunctionTracker(result) = getViewArg()
or
exists(DjangoViewClassDef vc |
getViewArg() = vc.asViewResult() and
result = vc.getARouteHandler()
)
}
}