Files
codeql/python/ql/test/library-tests/taint/general/TestDefn.ql

9 lines
294 B
Plaintext

import python
import TaintLib
from EssaNodeDefinition defn, TaintedNode n
where n.getNode().asVariable() = defn.getVariable()
select
defn.getLocation().toString(), defn.getRepresentation(), n.getLocation().toString(), "Taint " + n.toString(), defn.getDefiningNode().getNode().toString()