Files
codeql/python/ql/test/library-tests/PointsTo/guarded/PointsTo.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

9 lines
339 B
Plaintext

import python
from ControlFlowNode f, Object o, ControlFlowNode x
where
f.refersTo(o, x) and
exists(CallNode call | call.getFunction().getNode().(Name).getId() = "use" and call.getArg(0) = f)
select f.getLocation().getFile().getShortName(), f.getLocation().getStartLine(), f.toString(),
o.toString(), x.getLocation().getStartLine()