Python: auto model

A few more models arising from the API graph fix
2026-05-20 22:27:18 +02:00 · 2023-10-11 12:45:17 +00:00
parent 7d185922d8
commit 1e3ca8aeb5
6 changed files with 126 additions and 0 deletions
--- a/python/ql/lib/semmle/python/frameworks/data/internal/auto-cfnlint.model.yml
+++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-cfnlint.model.yml
@@ -0,0 +1,12 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - io.StringIO~Subclass
+    - cfnlint
+    - Member[helpers].Member[BytesIO]
+  - - io.StringIO~Subclass
+    - cfnlint
+    - Member[maintenance].Member[BytesIO]
--- a/python/ql/lib/semmle/python/frameworks/data/internal/auto-fastapi.model.yml
+++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-fastapi.model.yml
@@ -130,6 +130,12 @@ extensions:
  - - pydantic.BaseModel~Subclass
    - fastapi
    - Member[openapi].Member[utils].Member[OpenAPI]
+  - - pydantic.BaseModel~Subclass
+    - fastapi
+    - Member[param_functions].Member[Example]
+  - - pydantic.BaseModel~Subclass
+    - fastapi
+    - Member[params].Member[Example]
  - - pydantic.BaseModel~Subclass
    - fastapi
    - Member[security].Member[APIKeyCookie]
--- a/python/ql/lib/semmle/python/frameworks/data/internal/auto-jina.model.yml
+++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-jina.model.yml
@@ -58,6 +58,9 @@ extensions:
  - - pydantic.BaseModel~Subclass
    - jina
    - Member[serve].Member[runtimes].Member[gateway].Member[models].Member[JinaResponseModel]
+  - - pydantic.BaseModel~Subclass
+    - jina
+    - Member[serve].Member[runtimes].Member[gateway].Member[models].Member[PydanticDocument]
  - - pydantic.BaseModel~Subclass
    - jina
    - Member[serve].Member[runtimes].Member[head].Member[request_handling].Member[AnyDoc]
--- a/python/ql/lib/semmle/python/frameworks/data/internal/auto-langchain.model.yml
+++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-langchain.model.yml
@@ -55,6 +55,9 @@ extensions:
  - - pydantic.BaseModel~Subclass
    - langchain
    - Member[callbacks].Member[tracers].Member[wandb].Member[Run]
+  - - pydantic.BaseModel~Subclass
+    - langchain
+    - Member[vectorstores].Member[docarray].Member[base].Member[BaseDoc]
  - - requests.models.Response~Subclass
    - langchain
    - Member[chains].Member[api].Member[openapi].Member[chain].Member[Response]
--- a/python/ql/lib/semmle/python/frameworks/data/internal/auto-moto.model.yml
+++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-moto.model.yml
@@ -0,0 +1,12 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - http.client.HTTPConnection~Subclass
+    - moto
+    - Member[HTTPConnection]
+  - - http.client.HTTPConnection~Subclass
+    - moto
+    - Member[VerifiedHTTPSConnection]
--- a/python/ql/lib/semmle/python/frameworks/data/internal/auto-samtranslator.model.yml
+++ b/python/ql/lib/semmle/python/frameworks/data/internal/auto-samtranslator.model.yml
@@ -0,0 +1,90 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[ApiKey]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Auth]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Authorizer]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[BaseModel]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Cache]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Caching]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[DataSources]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[DeltaSync]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[DomainName]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[DynamoDBDataSource]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Function]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[LambdaAuthorizerConfig]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[LambdaConflictHandlerConfig]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[LambdaDataSource]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Logging]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[OpenIDConnectConfig]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[PassThroughProp]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Properties]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Resolver]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Resource]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Runtime]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[Sync]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[aws_serverless_graphqlapi].Member[UserPoolConfig]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[common].Member[BaseModel]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[common].Member[PassThroughProp]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[common].Member[Ref]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[schema_source].Member[common].Member[ResourceAttributes]
+  - - pydantic.BaseModel~Subclass
+    - samtranslator
+    - Member[internal].Member[utils].Member[utils].Member[PassThroughProp]