Files
codeql/python/ql/test/library-tests/PointsTo/inheritance/Mro.ql
2020-03-30 11:59:10 +02:00

13 lines
348 B
Plaintext

import python
private import semmle.python.objects.ObjectInternal
private import semmle.python.pointsto.PointsTo
/** Make unknown type visible */
class UnknownType extends UnknownClassInternal {
override string toString() { result = "*UNKNOWN TYPE" }
}
from ClassObjectInternal c
where not c.isBuiltin()
select c.toString(), Types::getMro(c)