hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mark Shannon
2019-05-16 16:25:48 +01:00
parent 2f940d013b
commit 8558cb3f2f
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
python/ql/src/semmle/python/pointsto/Overview.qll
View File

@@ -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.
*