From e55acb891849a355ae2125f806637bc9af96f272 Mon Sep 17 00:00:00 2001 From: Rasmus Wriedt Larsen Date: Fri, 15 Sep 2023 15:27:10 +0200 Subject: [PATCH] Python: More automatic modeling --- .../data/internal/auto-django.model.yml | 6 +++ .../auto-flask_restful_swagger_2.model.yml | 12 ++++++ .../data/internal/auto-notebook.model.yml | 39 +++++++++++++++++++ .../data/internal/auto-tornado.model.yml | 9 +++++ .../auto-tornado_proxy_handlers.model.yml | 18 +++++++++ 5 files changed, 84 insertions(+) create mode 100644 python/ql/lib/semmle/python/frameworks/data/internal/auto-flask_restful_swagger_2.model.yml create mode 100644 python/ql/lib/semmle/python/frameworks/data/internal/auto-notebook.model.yml create mode 100644 python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado.model.yml create mode 100644 python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado_proxy_handlers.model.yml diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/auto-django.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/auto-django.model.yml index a0bb0e2ed77..335d444965a 100644 --- a/python/ql/lib/semmle/python/frameworks/data/internal/auto-django.model.yml +++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-django.model.yml @@ -358,3 +358,9 @@ extensions: - - django.forms.BaseForm~Subclass - django - Member[views].Member[generic].Member[edit].Member[Form] + - - wsgiref.simple_server.WSGIServer~Subclass + - django + - Member[core].Member[servers].Member[basehttp].Member[ThreadedWSGIServer] + - - wsgiref.simple_server.WSGIServer~Subclass + - django + - Member[core].Member[servers].Member[basehttp].Member[WSGIServer] diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/auto-flask_restful_swagger_2.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/auto-flask_restful_swagger_2.model.yml new file mode 100644 index 00000000000..d45df636de0 --- /dev/null +++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-flask_restful_swagger_2.model.yml @@ -0,0 +1,12 @@ +# process-mrva-results 0.0.1 +extensions: +- addsTo: + extensible: typeModel + pack: codeql/python-all + data: + - - flask.MethodView~Subclass + - flask_restful_swagger_2 + - Member[Resource] + - - flask.MethodView~Subclass + - flask_restful_swagger_2 + - Member[swagger].Member[Resource] diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/auto-notebook.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/auto-notebook.model.yml new file mode 100644 index 00000000000..b544e03b609 --- /dev/null +++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-notebook.model.yml @@ -0,0 +1,39 @@ +# process-mrva-results 0.0.1 +extensions: +- addsTo: + extensible: typeModel + pack: codeql/python-all + data: + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[APIHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[APIVersionHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[AuthenticatedFileHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[AuthenticatedHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[FileFindHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[FilesRedirectHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[IPythonHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[PrometheusMetricsHandler] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[RedirectWithParams] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[Template404] + - - tornado.web.RequestHandler~Subclass + - notebook + - Member[base].Member[handlers].Member[TrailingSlashHandler] diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado.model.yml new file mode 100644 index 00000000000..7be6b2309b0 --- /dev/null +++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado.model.yml @@ -0,0 +1,9 @@ +# process-mrva-results 0.0.1 +extensions: +- addsTo: + extensible: typeModel + pack: codeql/python-all + data: + - - tornado.web.RequestHandler~Subclass + - tornado + - Member[websocket].Member[WebSocketHandler] diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado_proxy_handlers.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado_proxy_handlers.model.yml new file mode 100644 index 00000000000..92cd9949508 --- /dev/null +++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-tornado_proxy_handlers.model.yml @@ -0,0 +1,18 @@ +# process-mrva-results 0.0.1 +extensions: +- addsTo: + extensible: typeModel + pack: codeql/python-all + data: + - - tornado.web.RequestHandler~Subclass + - tornado_proxy_handlers + - Member[ProxyHandler] + - - tornado.web.RequestHandler~Subclass + - tornado_proxy_handlers + - Member[ProxyWSHandler] + - - tornado.web.RequestHandler~Subclass + - tornado_proxy_handlers + - Member[handlers].Member[ProxyHandler] + - - tornado.web.RequestHandler~Subclass + - tornado_proxy_handlers + - Member[handlers].Member[ProxyWSHandler]