Reconstructing Line References from Optimized Binary Code for Source-Level Annotation

by Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel
In 2010 Forum on Specification & Design Languages (FDL 2010), pages 1–6. IET, 2010.