hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 01:33:15 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python points-to: Improve handling of __call__() a bit.

Browse Source
This commit is contained in:
Mark Shannon
2019-04-29 15:15:01 +01:00
parent 65a30ab392
commit 3ca4524f7a
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/semmle/python/objects/Instances.qll
View File

@@ -59,9 +59,9 @@ class SpecificInstanceInternal extends TSpecificInstance, ObjectInternal {
}
override predicate callResult(ObjectInternal obj, CfgOrigin origin) {
// In general instances aren't callable, but some are...
// TO DO -- Handle cases where class overrides __call__
none()
// TO DO -- Handle cases where class overrides __call__ in more detail, like normal calls.
this.getClass().(ClassObjectInternal).lookup("__call__", _, _) and
obj = ObjectInternal::unknown() and origin = CfgOrigin::unknown()
}
override int intValue() {