mirror of
https://github.com/github/codeql.git
synced 2026-05-20 22:27:18 +02:00
f5c3b63a4a
This one is potentially a bit iffy -- it checks for a very powerful property (that implies many of the other queries), but as the test results show, it can produce false positives when there is in fact no problem. We may want to get rid of it entirely, if it becomes too noisy.
25 lines
937 B
Plaintext
25 lines
937 B
Plaintext
/**
|
|
* Checks that consecutive annotated nodes have consecutive timestamps:
|
|
* for each annotation with timestamp `a`, some CFG node for that annotation
|
|
* must have a next annotation containing `a + 1`.
|
|
*
|
|
* Handles CFG splitting (e.g., finally blocks duplicated for normal/exceptional
|
|
* flow) by checking that at least one split has the required successor.
|
|
*
|
|
* Only applies to functions where all annotations are in the function's
|
|
* own scope (excludes tests with generators, async, comprehensions, or
|
|
* lambdas that have annotations in nested scopes).
|
|
*/
|
|
|
|
import OldCfgImpl
|
|
|
|
private module Utils = EvalOrderCfgUtils<OldCfg>;
|
|
|
|
private import Utils
|
|
private import Utils::CfgTests
|
|
|
|
from TimerAnnotation ann, int a
|
|
where consecutiveTimestamps(ann, a)
|
|
select ann, "$@ in $@ has no consecutive successor (expected " + (a + 1) + ")",
|
|
ann.getTimestampExpr(a), "Timestamp " + a, ann.getTestFunction(), ann.getTestFunction().getName()
|