Paper Info
Title
Data-Flow Based Detection of Loop Bounds
Abstract
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 assem- bler level. The new method is compared with a pattern based loop analysis already in use by this tool.
Year
DOI
Venue
2007
10.4230/OASIcs.WCET.2007.1193
WCET
Keywords
Field
DocType
upper bound,data flow,static analysis
Computer science,Static analysis,Manual annotation,Algorithm,Real-time computing,Loop analysis,Spectrum analyzer,Data flow diagram
Conference
Citations 
PageRank 
References 
20
1.17
6
Authors
2
Name
Order
Citations
PageRank
Christoph Cullmann1666.06
Florian Martin259053.16