Files
codeql/python/ql/test/library-tests/taint/config/TestStep.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

11 lines
452 B
Plaintext

import python
import semmle.python.dataflow.TaintTracking
import TaintLib
import semmle.python.dataflow.Implementation
from TaintTrackingNode n, TaintTrackingNode s, TestConfig config
where s = n.getASuccessor() and config = n.getConfiguration()
select config + ":", n.getTaintKind(), n.getLocation().toString(), n.getNode().toString(),
n.getContext(), " --> ", s.getTaintKind(), s.getLocation().toString(), s.getNode().toString(),
s.getContext()