Benutzer: Gast  Login
Dokumenttyp:
Technical Report
Autor(en):
Andrea Flexeder; Michael Petter; Helmut Seidl
Titel:
Analysis of executables for WCET concerns
Abstract:
In this paper we present an analysis of assembly code for safety-critical embedded environments. Since local and global variables are the core concepts affecting the control flow of such programs, we first concentrate on classifying memory accesses as candidates for local or global variables. This is achieved by an interprocedural analysis of affine equality relations. We present how to refine this information via a combined affine equality relation and interval analysis. Thus, we achieve a suff...    »
Stichworte:
static program analysis of assembly code; reverse-engineering; program verification
Jahr:
2008
Jahr / Monat:
2008-12-18 00:00:00
Seiten/Umfang:
32
 BibTeX