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

17 lines
296 B
Plaintext

/**
* @name LocalPointsTo
* @description Insert description here...
* @kind table
* @problem.severity warning
*/
import python
import interesting
import Util
from int line, ControlFlowNode f, Object o
where
of_interest(f, line) and
f.refersTo(o)
select line, f.toString(), repr(o)