Query module BoundedLoopIterations
- Unbounded loop
- All loops should have a fixed upper bound; the counter should also be incremented along all paths within the loop. This check excludes loops that are meant to be nonterminating (like schedulers).
Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.