Python: Add basic rest_framework Request modeling

python/ql/lib/semmle/python/frameworks/RestFramework.qll

@@ -107,4 +107,69 @@ private module RestFramework {
 
     override string getFramework() { result = "Django (rest_framework)" }
   }
+
+  // ---------------------------------------------------------------------------
+  // request modeling
+  // ---------------------------------------------------------------------------
+  /**
+   * A parameter that will receive a `rest_framework.request.Request` instance when a
+   * request handler is invoked.
+   */
+  private class RestFrameworkRequestHandlerRequestParam extends Request::InstanceSource,
+    RemoteFlowSource::Range, DataFlow::ParameterNode {
+    RestFrameworkRequestHandlerRequestParam() {
+      // rest_framework.views.APIView subclass
+      exists(RestFrameworkApiViewClass vc |
+        this.getParameter() =
+          vc.getARequestHandler().(PrivateDjango::DjangoRouteHandler).getRequestParam()
+      )
+      or
+      // annotated with @api_view decorator
+      exists(PrivateDjango::DjangoRouteHandler rh | rh instanceof RestFrameworkFunctionBasedView |
+        this.getParameter() = rh.getRequestParam()
+      )
+    }
+
+    override string getSourceType() { result = "rest_framework.request.HttpRequest" }
+  }
+
+  /**
+   * Provides models for the `rest_framework.request.Request` class
+   *
+   * See https://www.django-rest-framework.org/api-guide/requests/.
+   */
+  module Request {
+    /** Gets a reference to the `rest_framework.request.Request` class. */
+    private API::Node classRef() {
+      result = API::moduleImport("rest_framework").getMember("request").getMember("Request")
+    }
+
+    /**
+     * A source of instances of `rest_framework.request.Request`, extend this class to model new instances.
+     *
+     * This can include instantiations of the class, return values from function
+     * calls, or a special parameter that will be set when functions are called by an external
+     * library.
+     *
+     * Use the predicate `Request::instance()` to get references to instances of `rest_framework.request.Request`.
+     */
+    abstract class InstanceSource extends PrivateDjango::django::http::request::HttpRequest::InstanceSource {
+    }
+
+    /** A direct instantiation of `rest_framework.request.Request`. */
+    private class ClassInstantiation extends InstanceSource, DataFlow::CallCfgNode {
+      ClassInstantiation() { this = classRef().getACall() }
+    }
+
+    /** Gets a reference to an instance of `rest_framework.request.Request`. */
+    private DataFlow::TypeTrackingNode instance(DataFlow::TypeTracker t) {
+      t.start() and
+      result instanceof InstanceSource
+      or
+      exists(DataFlow::TypeTracker t2 | result = instance(t2).track(t2, t))
+    }
+
+    /** Gets a reference to an instance of `rest_framework.request.Request`. */
+    DataFlow::Node instance() { instance(DataFlow::TypeTracker::end()).flowsTo(result) }
+  }
 }

python/ql/test/library-tests/frameworks/rest_framework/taint_test.py

@@ -21,7 +21,7 @@ def test_taint(request: Request, routed_param): # $ requestHandler routedParamet
 
     # Has all the standard attributes of a django HttpRequest
     # see https://github.com/encode/django-rest-framework/blob/00cd4ef864a8bf6d6c90819a983017070f9f08a5/rest_framework/request.py#L410-L418
-    ensure_tainted(request.resolve_match.args) # $ MISSING: tainted
+    ensure_tainted(request.resolver_match.args) # $ tainted
 
     # special new attributes added, see https://www.django-rest-framework.org/api-guide/requests/
     ensure_tainted(
@@ -121,7 +121,7 @@ urlpatterns = [
 @api_view(["POST"])
 def function_based_no_route(request: Request, possible_routed_param): # $ requestHandler routedParameter=possible_routed_param
     ensure_tainted(
-        request, # $ MISSING: tainted
+        request, # $ tainted
         possible_routed_param, # $ tainted
     )