Analysis of path exclusion at the machine code level

Authors Ingmar Stein, Florian Martin

Thumbnail 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)


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


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads