Files
codeql/python/ql/test/library-tests/PointsTo/super/SuperMethodCall.ql
Taus Brock-Nannestad f07a7bf8cf Python: Autoformat everything using qlformat.
Will need subsequent PRs fixing up test failures (due to deprecated
methods moving around), but other than that everything should be
straight-forward.
2020-07-07 15:43:52 +02:00

12 lines
456 B
Plaintext

import python
import semmle.python.pointsto.PointsTo
import semmle.python.pointsto.PointsToContext
import semmle.python.objects.ObjectInternal
from CallNode call, SuperInstance sup, BoundMethodObjectInternal bm
where
call.getFunction().inferredValue() = bm and
call.getFunction().(AttrNode).getObject().inferredValue() = sup
select call.getLocation().getStartLine(), call.toString(),
bm.getFunction().getSource().(FunctionObject).getQualifiedName()