2026-07-23T03:28:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1193 2024-03-06T10:28:26Z ddc:004 open_access

Data-Flow Based Detection of Loop Bounds Cullmann, Christoph Martin, Florian WCET analysis loop bound detection flow analysis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Christoph Cullmann and Florian Martin 2007 Is Part Of OASIcs, Volume 6, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2007.1193 urn:nbn:de:0030-drops-11934 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1193 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode