Abstract
Since software is playing an increasingly important role in system-on-chip, retargetable compilation has been an active research area in the last few years. However, the retargetting of equally important downstream system tools, such as assemblers, linkers and debuggers, has either been ignored, or falls short of production quality due to the complexity involved in these tools. In this paper, we present a technique that can automatically retarget the GNU BFD library, the foundation library for a suite of binary tools. Other than having all the advantages enjoyed by open-source software by aligning to a de facto standard, our technique is systematic, as a result of using a formal model of abstract binary interface (ABI) as a new element of architectural model; and simple, as a result of leveraging free software to the largest extent.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bailey, M. and Davidson, J. (1994). A formal model and specification language for procedure calling conventions. Technical Report CS-94-39, Computer Science, University of Virginia.
Cifuentes, C. and Simon, D. (September 1999). Procedural abstraction recovery from binary. Technical Report 448, Department of Computer Science and Electrical Engineering, University of Queensland, Brisbane QLD 4072, Australia.
Gyllenhaal, J. (1994). A machine description language for compilation. Technical report, Department of Electrical and Computer Engineering, University of Illinois, Urbana IL.
Halambi, A., Grun, P., Ganesh, V., Khare, A., Dutt, N., and Nicolau, A. (1999). Expression: A language for architecture exploration through compiler/simulator retargetability. In Proceedings of the Design Automation and Test Conference in Europe.
Marwedel, P. (1984). The MIMOLA design system: Tools for the design of digital processors. In Proceeding of the 21st Design Automation Conference, pages 587–593.
Prate, J. V., W.Geurts, D. L., and Goossens, G. (July 2001). Processor modeling and code selection for retargetable compilation. ACM Transaction on Design Automation of Electronic Systems, 6(3).
Ramsey, N. and Davidson, J. (1998). Specifying instructions' semantics using CSDL. Technical report, Department of Computer Science, University of Virginia.
Ramsey, N. and Fernandez, M. (1995). The New Jersey machine-code toolkit. In Proceedings of the 1995 USENIX Technical Conference, pages 289–302.
S.Chamberlain (April 1991). libbfd: the Binary File Descriptor library. Cygnus Support, Free Software Foundation, Inc.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
Abbaspour, M., Zhu, J. (2003). Automatic Porting of Binary File Descriptor Library. In: Badawy, W., Jullien, G. (eds) System-on-Chip for Real-Time Applications. The Kluwer International Series in Engineering and Computer Science, vol 711. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-0351-4_18
Download citation
DOI: https://doi.org/10.1007/978-1-4615-0351-4_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5034-7
Online ISBN: 978-1-4615-0351-4
eBook Packages: Springer Book Archive