Data-Flow Based Detection of Loop Bounds

8 years 11 months ago
Data-Flow Based Detection of Loop Bounds
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bounds is difficult and time consuming, the WCET analyzer aiT originally developed by Saarland University and AbsInt GmbH uses static analysis to determine the needed bounds as far as possible. This paper describes a novel data-flow based analysis for aiT to calculate the needed loop bounds on the assembler level. The new method is compared with a pattern based loop analysis already in use by this tool.
Christoph Cullmann, Florian Martin
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 2007
Where WCET
Authors Christoph Cullmann, Florian Martin
Comments (0)