Files
codeql/python/ql/test/library-tests/PointsTo/new/Dataflow.ql
2022-08-24 16:55:11 +01:00

8 lines
273 B
Plaintext

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()