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

by Wolfgang Rosenstiel, Oliver Bringmann, Stefan Stattelmann, and Alexander Viehl
In Lecture Notes in Electrical Engineering. Springer, 2012.