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

7 lines
205 B
Plaintext

import python
import Util
from ControlFlowNode f, ControlFlowNode x
where f.refersTo(theNoneObject(), _, x)
select locate(f.getLocation(), "abcdghijklmopqr"), f.toString(), x.getLocation().getStartLine()