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

8 lines
291 B
Plaintext

import python
import semmle.python.pointsto.PointsTo
import Util
from EssaVariable var, ControlFlowNode use
where use = var.getAUse() and not var.getSourceVariable() instanceof SpecialSsaSourceVariable
select locate(use.getLocation(), "abdeghjks_"), var.getRepresentation(), use.toString()