Publikationen

Baldin, Daniel; Groesbrink, Stefan; Kerstan, Timo; Oberthür, Simon: Towards Constraint-based Binary Code Optimization using Annotated Control Flow Graphs. In: 2nd Annual International Conference on Advances in Distributed and Parallel Computing, Proceedings of the 2nd International Conference on Advances in Distributed and Parallel Computing (ADPC), Nr.2 , S. 59-64, Sep. 2011, Global Science and Technology Forum

Abstract

Today’s adaptable architectures require configurability and adaptability to be supported already at design level. However, modern software products are often constructed out of reusable but non adaptable and/or legacy software artifacts (e.g. libraries) to meet early time-to-market requirements. Thus, modern adaptable architectures are rarely used in commercial applications, because the effort to add adaptability to the reused software artifacts is just too high. In this paper, we propose a methodology to semi-automatically optimize existing binaries on a given set of constraints. It is based on annotated control flow graphs to identify and remove unused code on static basic block level depending on different execution requirements given as a set of constraints. This allows for adaptation of binaries after compile time without the use of source code. With this approach adaption can be added with a low effort to non-adaptive software.

Bibtex

@inproceedings{hniid=5507,
author = {Baldin, Daniel and Groesbrink, Stefan and Kerstan, Timo and Oberthür, Simon},
title = {Towards Constraint-based Binary Code Optimization using Annotated Control Flow Graphs},
booktitle = {2nd Annual International Conference on Advances in Distributed and Parallel Computing},
number = {2},
series = {Proceedings of the 2nd International Conference on Advances in Distributed and Parallel Computing (ADPC)},
pages = {59-64},
publisher = {Global Science and Technology Forum},
month = sep,
year = {2011},
}