Analysis of path exclusion at the machine code level
Ingmar Stein, Florian Pierre Martin · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 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.