Files
codeql/python/ql/test/library-tests/PointsTo/guarded/PointsTo.ql
2020-03-30 11:59:10 +02:00

9 lines
345 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()