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: better charPred

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-08-14 13:25:17 +02:00
parent 5ed3107045
commit 360ddc6314
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/semmle/python/Magic.qll
View File

@@ -8,14 +8,16 @@ module MagicMethod {
}
class Actual extends ControlFlowNode {
Object resolvedMagicMethod;
Value resolvedMagicMethod;
Actual() {
exists(Potential pot |
this.(Potential) = pot and
pot.getSelf().(ClassObject).lookupAttribute(pot.getMagicMethodName()) = resolvedMagicMethod
pot.getSelf().pointsTo().getClass().lookup(pot.getMagicMethodName()) = resolvedMagicMethod
)
}
Value getResolvedMagicMethod() { result = resolvedMagicMethod }
}
}