Analysis of path exclusion at the machine code level

Stein, Ingmar; Martin, Florian

doi:10.4230/OASIcs.WCET.2007.1196

Document

Analysis of path exclusion at the machine code level

Authors Ingmar Stein, Florian Martin

Part of: Volume: 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (WCET 2007)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Workshop on Worst-Case Execution Time Analysis (WCET)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2007-11-13

PDF

File

PDF

OASIcs.WCET.2007.1196.pdf

Filesize: 339 kB
6 pages

Document Identifiers

DOI: 10.4230/OASIcs.WCET.2007.1196
URN: urn:nbn:de:0030-drops-11964

Subject Classification

Keywords

Flow-constraint
control flow graph
path exclusion

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

We present a method to find static path exclusions in a
control flow graph in order to refine the WCET analysis.
Using this information, some infeasible paths can be discarded
during the ILP-based longest path analysis which
helps to improve precision. The new analysis works at the
assembly level and uses the Omega library to evaluate Presburger
formulas.

Cite As Get BibTex

Ingmar Stein and Florian Martin. Analysis of path exclusion at the machine code level. In 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07). Open Access Series in Informatics (OASIcs), Volume 6, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/OASIcs.WCET.2007.1196

Author Details

Ingmar Stein

Florian Martin

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail