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