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

8 lines
282 B
Plaintext

import python
import semmle.python.pointsto.PointsTo
import semmle.python.objects.ObjectInternal
from ControlFlowNode f, ObjectInternal v, ControlFlowNode x
where PointsTo::pointsTo(f, _, v, x)
select f.getLocation().getStartLine(), f.toString(), v, x.getLocation().getStartLine()