mirror of
https://github.com/github/codeql.git
synced 2025-12-20 02:44:30 +01:00
9 lines
294 B
Plaintext
9 lines
294 B
Plaintext
import python
|
|
|
|
from Name n, GlobalVariable v, boolean reachable
|
|
where
|
|
n.getVariable() = v and
|
|
exists(ExprStmt s | s.getValue() = n) and
|
|
if exists(ControlFlowNode f | f.getNode() = n) then reachable = true else reachable = false
|
|
select n.getLocation().getStartLine(), v.getId(), reachable
|