Sciweavers

WCET
2007

Analysis of path exclusion at the machine code level

13 years 4 months ago
Analysis of path exclusion at the machine code level
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.
Ingmar Stein, Florian Martin
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 2007
Where WCET
Authors Ingmar Stein, Florian Martin
Comments (0)