User: Guest  Login
Document type:
Technical Report 
Author(s):
Andrea Flexeder; Michael Petter; Helmut Seidl 
Title:
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...    »
 
Keywords:
static program analysis of assembly code; reverse-engineering; program verification 
Year:
2008 
Year / month:
2008-12-18 00:00:00 
Pages:
32 
versions