mirror of
https://github.com/github/codeql.git
synced 2026-07-30 07:04:57 +02:00
14 lines
341 B
Plaintext
14 lines
341 B
Plaintext
/** New-CFG version of AllLiveReachable. */
|
|
|
|
import python
|
|
import NewCfgImpl
|
|
|
|
private module Utils = EvalOrderCfgUtils<NewCfg>;
|
|
|
|
private import Utils
|
|
private import Utils::CfgTests
|
|
|
|
from TimerCfgNode a, TestFunction f
|
|
where allLiveReachable(a, f)
|
|
select a, "Unreachable live annotation; entry of $@ does not reach this node", f, f.getName()
|