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

13 lines
465 B
Plaintext

import python
import semmle.python.security.Exceptions
import semmle.python.web.HttpResponse
from TaintedNode n, TaintedNode s
where
s = n.getASuccessor() and
not n.getLocation().getFile().inStdlib() and
not s.getLocation().getFile().inStdlib()
select "Taint " + n.getTaintKind(), n.getLocation().toString(), n.getNode().toString(),
n.getContext(), " --> ", "Taint " + s.getTaintKind(), s.getLocation().toString(),
s.getNode().toString(), s.getContext()