mirror of
https://github.com/github/codeql.git
synced 2025-12-19 10:23:15 +01:00
f07a7bf8cf
Will need subsequent PRs fixing up test failures (due to deprecated methods moving around), but other than that everything should be straight-forward.
9 lines
331 B
Plaintext
9 lines
331 B
Plaintext
import python
|
|
import ExtensionsLib
|
|
|
|
from TaintedNode n, TaintedNode s
|
|
where s = n.getASuccessor()
|
|
select "Taint " + n.getTaintKind(), n.getLocation().toString(), n.getNode().getNode().toString(),
|
|
n.getContext(), " --> ", "Taint " + s.getTaintKind(), s.getLocation().toString(),
|
|
s.getNode().getNode().toString(), s.getContext()
|