Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code

Author:

Rosenstiel, Wolfgang; Bringmann, Oliver; Stattelmann, Stefan; Viehl, Alexander

Tübinger Autor(en):

Published in:

Lecture Notes in Electrical Engineering (2012), Bd. , S. 175-190

Verlagsangabe:

Springer

Language:

English

DDC Classifikation:

004 - Data processing and computer science

Dokumentart:

Article

This item appears in the following Collection(s)