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.

• Type: Conference
• Year: 2007
• Where: WCET
• Authors: Ingmar Stein, Florian Martin
• Keywords: Control flow Graph, Longest Path Analysis, Static Path Exclusions, WCET 2007, WCET 2008