Predicate bottle_route

Holds if route is routed to func by decorating func with app.route(route) or route(route)

Import path

import semmle.python.web.bottle.General

predicate bottle_route(CallNode route_call, ControlFlowNode route, Function func)