Document Open Access Logo

Analysis of path exclusion at the machine code level

Authors Ingmar Stein, Florian Martin



PDF
Thumbnail PDF

File

OASIcs.WCET.2007.1196.pdf
  • Filesize: 339 kB
  • 6 pages

Document Identifiers

Author Details

Ingmar Stein
Florian Martin

Cite AsGet 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

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.
Keywords
  • Flow-constraint
  • control flow graph
  • path exclusion

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail