Python: Make Django use auto-modeling

RasmusWL · RasmusWL · commit d6fec9e4a7c6 · 2023-12-08T11:27:49.000+01:00
Ooops
diff --git a/python/ql/lib/semmle/python/frameworks/Django.qll b/python/ql/lib/semmle/python/frameworks/Django.qll
@@ -86,6 +86,10 @@ module Django {
         }
       }
 
+      private class MaDSubclass extends ModeledSubclass {
+        MaDSubclass() { this = ModelOutput::getATypeNode("Django.Views.View~Subclass") }
+      }
+
       /** Gets a reference to the `django.views.generic.View` class or any subclass. */
       API::Node subclassRef() { result = any(ModeledSubclass subclass).getASubclass*() }
     }
@@ -295,6 +299,10 @@ module Django {
         }
       }
 
+      private class MaDSubclass extends ModeledSubclass {
+        MaDSubclass() { this = ModelOutput::getATypeNode("Django.Forms.Field~Subclass") }
+      }
+
       /** Gets a reference to the `django.forms.fields.Field` class or any subclass. */
       API::Node subclassRef() { result = any(ModeledSubclass subclass).getASubclass*() }
     }

Original file line number	Diff line number	Diff line change
`@@ -86,6 +86,10 @@ module Django {`
`86`	`86`	`}`
`87`	`87`	`}`
`88`	`88`
	`89`	`+ private class MaDSubclass extends ModeledSubclass {`
	`90`	`+ MaDSubclass() { this = ModelOutput::getATypeNode("Django.Views.View~Subclass") }`
	`91`	`+ }`
	`92`	`+`
`89`	`93`	/** Gets a reference to the `django.views.generic.View` class or any subclass. */
`90`	`94`	`API::Node subclassRef() { result = any(ModeledSubclass subclass).getASubclass*() }`
`91`	`95`	`}`
`@@ -295,6 +299,10 @@ module Django {`
`295`	`299`	`}`
`296`	`300`	`}`
`297`	`301`
	`302`	`+ private class MaDSubclass extends ModeledSubclass {`
	`303`	`+ MaDSubclass() { this = ModelOutput::getATypeNode("Django.Forms.Field~Subclass") }`
	`304`	`+ }`
	`305`	`+`
`298`	`306`	/** Gets a reference to the `django.forms.fields.Field` class or any subclass. */
`299`	`307`	`API::Node subclassRef() { result = any(ModeledSubclass subclass).getASubclass*() }`
`300`	`308`	`}`