From aa0de781cd549d5a4f0edd566a2823aacd0aa24a Mon Sep 17 00:00:00 2001 From: Rasmus Wriedt Larsen Date: Fri, 3 Nov 2023 12:10:29 +0100 Subject: [PATCH] Python: auto subclass capture --- .../subclass-capture/auto-beet.model.yml | 9 +++ .../auto-benchmarks.model.yml | 9 +++ .../subclass-capture/auto-fastchat.model.yml | 6 ++ .../subclass-capture/auto-pandas.model.yml | 57 +++++++++++++++++++ 4 files changed, 81 insertions(+) create mode 100644 python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-pandas.model.yml diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-beet.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-beet.model.yml index 37bd728a8a8..95820de6072 100644 --- a/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-beet.model.yml +++ b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-beet.model.yml @@ -13,6 +13,9 @@ extensions: - - pydantic.BaseModel~Subclass - beet - Member[PackFilterConfig] + - - pydantic.BaseModel~Subclass + - beet + - Member[PackLoadUrl] - - pydantic.BaseModel~Subclass - beet - Member[PackMatchOption] @@ -145,6 +148,12 @@ extensions: - - pydantic.BaseModel~Subclass - beet - Member[toolchain].Member[config].Member[PackFilterConfig] + - - pydantic.BaseModel~Subclass + - beet + - Member[toolchain].Member[config].Member[PackLoadUrl] + - - pydantic.BaseModel~Subclass + - beet + - Member[toolchain].Member[config].Member[PackOverlayConfig] - - pydantic.BaseModel~Subclass - beet - Member[toolchain].Member[config].Member[PackageablePath] diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-benchmarks.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-benchmarks.model.yml index 6b05ebb1f18..0aa986e79ed 100644 --- a/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-benchmarks.model.yml +++ b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-benchmarks.model.yml @@ -79,6 +79,15 @@ extensions: - - io.StringIO~Subclass - benchmarks - Member[bm].Member[utils].Member[BytesIO] + - - io.StringIO~Subclass + - benchmarks + - Member[io].Member[csv].Member[BytesIO] + - - io.StringIO~Subclass + - benchmarks + - Member[io].Member[csv].Member[StringIO] + - - io.StringIO~Subclass + - benchmarks + - Member[io].Member[excel].Member[BytesIO] - - pickle~Alias - benchmarks - Member[utils].Member[pickle] diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-fastchat.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-fastchat.model.yml index 0a6310baf58..7d18cca911d 100644 --- a/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-fastchat.model.yml +++ b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-fastchat.model.yml @@ -127,6 +127,9 @@ extensions: - - pydantic.BaseModel~Subclass - fastchat - Member[protocol].Member[openai_api_protocol].Member[ErrorResponse] + - - pydantic.BaseModel~Subclass + - fastchat + - Member[protocol].Member[openai_api_protocol].Member[LogProbs] - - pydantic.BaseModel~Subclass - fastchat - Member[protocol].Member[openai_api_protocol].Member[ModelCard] @@ -211,6 +214,9 @@ extensions: - - pydantic.BaseModel~Subclass - fastchat - Member[serve].Member[openai_api_server].Member[HTTPAuthorizationCredentials] + - - pydantic.BaseModel~Subclass + - fastchat + - Member[serve].Member[openai_api_server].Member[LogProbs] - - pydantic.BaseModel~Subclass - fastchat - Member[serve].Member[openai_api_server].Member[ModelCard] diff --git a/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-pandas.model.yml b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-pandas.model.yml new file mode 100644 index 00000000000..2a2c401f7f2 --- /dev/null +++ b/python/ql/lib/semmle/python/frameworks/data/internal/subclass-capture/auto-pandas.model.yml @@ -0,0 +1,57 @@ +# process-mrva-results 0.0.1 +extensions: +- addsTo: + extensible: typeModel + pack: codeql/python-all + data: + - - io.StringIO~Subclass + - pandas + - Member[core].Member[computation].Member[parsing].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[core].Member[computation].Member[scope].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[core].Member[frame].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[clipboards].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[common].Member[BytesIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[common].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[common].Member[_BufferedWriter] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[common].Member[_BytesZipFile] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[excel].Member[_base].Member[BytesIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[formats].Member[format].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[json].Member[_json].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[parsers].Member[python_parser].Member[StringIO] + - - io.StringIO~Subclass + - pandas + - Member[io].Member[stata].Member[BytesIO] + - - lxml.etree~Alias + - pandas + - Member[io].Member[xml].Member[etree] + - - pickle~Alias + - pandas + - Member[compat].Member[pickle_compat].Member[pkl] + - - pickle~Alias + - pandas + - Member[core].Member[generic].Member[pickle] + - - pickle~Alias + - pandas + - Member[io].Member[pickle].Member[pickle]