hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 04:39:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python points-to. Fix handling of six.add_metaclass.

Browse Source
This commit is contained in:
Mark Shannon
2019-04-24 11:36:43 +01:00
parent f51a2d9ec4
commit 5ad731a2a8
1 changed files with 11 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
python/ql/src/semmle/python/pointsto/PointsTo.qll
View File

@@ -1643,19 +1643,17 @@ cached module Types {
/** INTERNAL -- Do not use */
cached predicate six_add_metaclass(CallNode decorator_call, ClassObjectInternal decorated, ControlFlowNode metaclass) {
//TO DO...
none()
//exists(CallNode decorator |
// decorator_call.getArg(0) = decorated and
// decorator = decorator_call.getFunction() and
// decorator.getArg(0) = metaclass |
// PointsToInternal::pointsTo(decorator.getFunction(), _, six_add_metaclass_function(), _)
// or
// exists(ModuleObjectInternal six |
// six.getName() = "six" and
// PointsToInternal::pointsTo(decorator.getFunction().(AttrNode).getObject("add_metaclass"), _, six, _)
// )
//)
exists(CallNode decorator |
PointsToInternal::pointsTo(decorator_call.getArg(0), _, decorated, _) and
decorator = decorator_call.getFunction() and
decorator.getArg(0) = metaclass |
PointsToInternal::pointsTo(decorator.getFunction(), _, six_add_metaclass_function(), _)
or
exists(ModuleObjectInternal six |
six.getName() = "six" and
PointsToInternal::pointsTo(decorator.getFunction().(AttrNode).getObject("add_metaclass"), _, six, _)
)
)
}
private ObjectInternal six_add_metaclass_function() {