mirror of
https://github.com/github/codeql.git
synced 2026-07-29 14:56:51 +02:00
21 lines
631 B
Plaintext
21 lines
631 B
Plaintext
/**
|
|
* New-CFG version of StrictForward.
|
|
*
|
|
* Stronger version of NoBackwardFlow: for consecutive annotated nodes
|
|
* A -> B that both have a single timestamp (non-loop code) and B does
|
|
* NOT dominate A (forward edge), requires max(A) < min(B).
|
|
*/
|
|
|
|
import python
|
|
import NewCfgImpl
|
|
|
|
private module Utils = EvalOrderCfgUtils<NewCfg>;
|
|
|
|
private import Utils
|
|
private import Utils::CfgTests
|
|
|
|
from TimerCfgNode a, TimerCfgNode b, int maxA, int minB
|
|
where strictForward(a, b, maxA, minB)
|
|
select a, "Strict forward violation: $@ flows to $@", a.getTimestampExpr(maxA), "timestamp " + maxA,
|
|
b.getTimestampExpr(minB), "timestamp " + minB
|