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

8 lines
275 B
Plaintext
Executable File

import python
import Util
from EssaVariable v, EssaDefinition def
where def = v.getDefinition() and not v.getSourceVariable() instanceof SpecialSsaSourceVariable
select locate(def.getLocation(), "abdefghijknrs_"),
v.getRepresentation() + " = " + def.getRepresentation()