mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
7 lines
240 B
Plaintext
7 lines
240 B
Plaintext
|
|
import python
|
|
|
|
from ControlFlowNode r, ControlFlowNode s
|
|
where s = r.getAnExceptionalSuccessor() and
|
|
not r.(RaisingNode).unlikelySuccessor(s)
|
|
select r.getLocation().getStartLine(), r.toString(), s.getLocation().getStartLine(), s.toString() |