Python: Add auto-modeling from current venv in MRVA top 1000 projects

python/ql/lib/semmle/python/frameworks/data/internal/auto-django.model.yml

@@ -0,0 +1,300 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[forms].Member[UsernameField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[TemplateFilterIndexView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[ranges].Member[BaseRangeField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[View]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[detail].Member[BaseDetailView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[BaseDeleteView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[forms].Member[AdminPasswordChangeForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[options].Member[RedirectView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[forms].Member[models].Member[ModelForm]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[ranges].Member[DateRangeField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseDayArchiveView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseArchiveIndexView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[TemplateDetailView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[ModelDetailView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseMonthArchiveView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseYearArchiveView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseDateListView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[jsonb].Member[JSONField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[ModelIndexView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[YearArchiveView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[ranges].Member[DateTimeRangeField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordChangeDoneView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[list].Member[BaseListView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[View]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordResetCompleteView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[AuthenticationForm]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[hstore].Member[HStoreField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[TodayArchiveView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[forms].Member[ReadOnlyPasswordHashField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[BaseFormView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[ranges].Member[IntegerRangeField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[DateDetailView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[forms].Member[BaseForm]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[forms].Member[models].Member[InlineForeignKeyField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[ArchiveIndexView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[BaseAdminDocsView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[forms].Member[models].Member[ModelChoiceField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[BaseCreateView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[forms].Member[UserCreationForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[sites].Member[JavaScriptCatalog]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[BookmarkletsView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[forms].Member[PasswordChangeForm]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[forms].Member[UserChangeForm]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[checks].Member[BaseModelForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[TemplateView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[admin].Member[UserCreationForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[FormView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[DeleteView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[WeekArchiveView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseWeekArchiveView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordResetView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordChangeView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[ranges].Member[DecimalRangeField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseDateDetailView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseTodayArchiveView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[sites].Member[AutocompleteJsonView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[forms].Member[models].Member[ModelMultipleChoiceField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[i18n].Member[View]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[DetailView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[views].Member[autocomplete].Member[BaseListView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordChangeForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[TemplateView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[LoginView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[BaseUpdateView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordResetConfirmView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[admin].Member[UserChangeForm]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[SetPasswordForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[CreateView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordResetDoneView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[BaseDetailView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[forms].Member[AuthenticationForm]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[forms].Member[BaseUserCreationForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[ListView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[FormView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[array].Member[SplitArrayField]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[forms].Member[BaseModelForm]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[PasswordResetForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[TemplateTagIndexView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[admin].Member[AdminPasswordChangeForm]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[views].Member[main].Member[ChangeListSearchForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[ViewDetailView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[MonthArchiveView]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[forms].Member[formsets].Member[ManagementForm]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[auth].Member[views].Member[LogoutView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[DayArchiveView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[UpdateView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[i18n].Member[JSONCatalog]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[TemplateView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[detail].Member[View]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admindocs].Member[views].Member[ViewIndexView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[ProcessFormView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[contrib].Member[admin].Member[views].Member[autocomplete].Member[AutocompleteJsonView]
+  - - Django.Forms.Field~Subclass
+    - django
+    - Member[contrib].Member[postgres].Member[forms].Member[array].Member[SimpleArrayField]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[dates].Member[View]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[BaseDetailView]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[i18n].Member[JavaScriptCatalog]
+  - - django.forms.BaseForm~Subclass
+    - django
+    - Member[views].Member[generic].Member[edit].Member[Form]
+  - - Django.Views.View~Subclass
+    - django
+    - Member[views].Member[generic].Member[list].Member[View]

python/ql/lib/semmle/python/frameworks/data/internal/auto-django_filters.model.yml

@@ -0,0 +1,45 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[MultipleChoiceField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[ModelChoiceField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[IsoDateTimeField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[DateTimeRangeField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[ModelMultipleChoiceField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[TimeRangeField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[RangeField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[IsoDateTimeRangeField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[DateRangeField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[BaseRangeField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[ChoiceField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[LookupChoiceField]
+  - - Django.Forms.Field~Subclass
+    - django_filters
+    - Member[fields].Member[BaseCSVField]

python/ql/lib/semmle/python/frameworks/data/internal/auto-flask_restful.model.yml

@@ -0,0 +1,9 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - flask.MethodView~Subclass
+    - flask_restful
+    - Member[Resource]

python/ql/lib/semmle/python/frameworks/data/internal/auto-formtools.model.yml

@@ -0,0 +1,30 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - django.forms.BaseForm~Subclass
+    - formtools
+    - Member[wizard].Member[forms].Member[ManagementForm]
+  - - Django.Views.View~Subclass
+    - formtools
+    - Member[wizard].Member[views].Member[WizardView]
+  - - Django.Views.View~Subclass
+    - formtools
+    - Member[wizard].Member[views].Member[TemplateView]
+  - - Django.Views.View~Subclass
+    - formtools
+    - Member[wizard].Member[views].Member[NamedUrlWizardView]
+  - - Django.Views.View~Subclass
+    - formtools
+    - Member[wizard].Member[views].Member[SessionWizardView]
+  - - Django.Views.View~Subclass
+    - formtools
+    - Member[wizard].Member[views].Member[CookieWizardView]
+  - - Django.Views.View~Subclass
+    - formtools
+    - Member[wizard].Member[views].Member[NamedUrlCookieWizardView]
+  - - Django.Views.View~Subclass
+    - formtools
+    - Member[wizard].Member[views].Member[NamedUrlSessionWizardView]

python/ql/lib/semmle/python/frameworks/data/internal/auto-modelcluster.model.yml

@@ -0,0 +1,12 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - django.forms.BaseForm~Subclass
+    - modelcluster
+    - Member[forms].Member[ModelForm]
+  - - django.forms.BaseForm~Subclass
+    - modelcluster
+    - Member[forms].Member[ClusterForm]

python/ql/lib/semmle/python/frameworks/data/internal/auto-permissionedforms.model.yml

@@ -0,0 +1,12 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - django.forms.BaseForm~Subclass
+    - permissionedforms
+    - Member[forms].Member[PermissionedForm]
+  - - django.forms.BaseForm~Subclass
+    - permissionedforms
+    - Member[forms].Member[PermissionedModelForm]

python/ql/lib/semmle/python/frameworks/data/internal/auto-rest_flex_fields.model.yml

@@ -0,0 +1,9 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - Django.Views.View~Subclass
+    - rest_flex_fields
+    - Member[views].Member[FlexFieldsModelViewSet]

python/ql/lib/semmle/python/frameworks/data/internal/auto-rest_framework.model.yml

@@ -0,0 +1,78 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[ListAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[RetrieveUpdateAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[routers].Member[SchemaView]
+  - - Django.Forms.Field~Subclass
+    - rest_framework
+    - Member[fields].Member[ImageField]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[viewsets].Member[GenericViewSet]
+  - - Django.Forms.Field~Subclass
+    - rest_framework
+    - Member[serializers].Member[ImageField]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[schemas].Member[views].Member[SchemaView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[RetrieveUpdateDestroyAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[viewsets].Member[ModelViewSet]
+  - - Django.Forms.Field~Subclass
+    - rest_framework
+    - Member[fields].Member[FilePathField]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[viewsets].Member[ViewSet]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[RetrieveAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[views].Member[View]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[RetrieveDestroyAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[UpdateAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[CreateAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[viewsets].Member[ReadOnlyModelViewSet]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[ListCreateAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[routers].Member[APIRootView]
+  - - Django.Forms.Field~Subclass
+    - rest_framework
+    - Member[serializers].Member[FilePathField]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[decorators].Member[APIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[schemas].Member[views].Member[APIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[generics].Member[DestroyAPIView]
+  - - Django.Views.View~Subclass
+    - rest_framework
+    - Member[compat].Member[View]

python/ql/lib/semmle/python/frameworks/data/internal/auto-taggit.model.yml

@@ -0,0 +1,12 @@
+# process-mrva-results 0.0.1
+extensions:
+- addsTo:
+    extensible: typeModel
+    pack: codeql/python-all
+  data:
+  - - Django.Forms.Field~Subclass
+    - taggit
+    - Member[managers].Member[TagField]
+  - - Django.Forms.Field~Subclass
+    - taggit
+    - Member[forms].Member[TagField]