Python points-to: Update Overview.qll to reflect new object model.

markshannon · markshannon · commit 8558cb3f2f40 · 2019-05-16T16:25:48.000+01:00
diff --git a/python/ql/src/semmle/python/pointsto/Overview.qll b/python/ql/src/semmle/python/pointsto/Overview.qll
@@ -44,8 +44,11 @@
  * * Functions (both in the source and builtin)
  * * Literal constants defined in the source (string and numbers)
  * * Constant objects defined in compiled libraries and the interpreter (None, boolean, strings and numbers)
- * * Some calls (many calls are absent as we can infer what the call returns). Consider a call to represent the set of objects that it could return.
- * * Some other constructs that might create a new object.
+ * * A few other constants such as small integers.
+ * * Instances of classes
+ * * Bound methods, static- and class-methods, and properties.
+ * * Instances of `super`.
+ * * Missing modules, where no concrete module is found for an import.
  * 
  * A number of constructs that might create a new object, such as binary operations, are omitted if there is no useful information to can be attached to them and they would just increase the size of the database.
  * 

Original file line number	Diff line number	Diff line change
`@@ -44,8 +44,11 @@`
`44`	`44`	`* * Functions (both in the source and builtin)`
`45`	`45`	`* * Literal constants defined in the source (string and numbers)`
`46`	`46`	`* * Constant objects defined in compiled libraries and the interpreter (None, boolean, strings and numbers)`
`47`		`- * * Some calls (many calls are absent as we can infer what the call returns). Consider a call to represent the set of objects that it could return.`
`48`		`- * * Some other constructs that might create a new object.`
	`47`	`+ * * A few other constants such as small integers.`
	`48`	`+ * * Instances of classes`
	`49`	`+ * * Bound methods, static- and class-methods, and properties.`
	`50`	+ * * Instances of `super`.
	`51`	`+ * * Missing modules, where no concrete module is found for an import.`
`49`	`52`	`*`
`50`	`53`	`* A number of constructs that might create a new object, such as binary operations, are omitted if there is no useful information to can be attached to them and they would just increase the size of the database.`
`51`	`54`	`*`