Files
codeql/python/ql/test/library-tests/PointsTo/comparisons/PointsTo.ql
Erik Krogh Kristensen ff73dbc35c delete redundant imports
2022-04-22 12:55:28 +02:00

9 lines
185 B
Plaintext

import python
from int line, ControlFlowNode f, Value v
where
any(ExprStmt s).getValue() = f.getNode() and
line = f.getLocation().getStartLine() and
f.pointsTo(v)
select line, v