Files
codeql/python/ql/test/library-tests/taint/general/TestDefn.ql
Taus Brock-Nannestad f07a7bf8cf Python: Autoformat everything using qlformat.
Will need subsequent PRs fixing up test failures (due to deprecated
methods moving around), but other than that everything should be
straight-forward.
2020-07-07 15:43:52 +02:00

8 lines
290 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()