Tidorum develops and markets the Bound-T tool for static analysis of Worst-Case Execution Time (WCET) and worst-case stack usage. The analysis is based on the executable machine-code of the target program. The tool supports several microcontroller architectures.
The Bound-T tool applies several forms of static analysis, culminating in an analysis of the integer computations based on the Presburger Arithmetic representation and the Omega Calculator solver. As one result of this analysis, iteration bounds can be found for several kinds of counted loops.