skip to main content
10.1145/207110.207163acmconferencesArticle/Chapter ViewAbstractPublication PagespldiConference Proceedingsconference-collections
Article
Free Access

EEL: machine-independent executable editing

Authors Info & Claims
Published:01 June 1995Publication History

ABSTRACT

EEL (Executable Editing Library) is a library for building tools to analyze and modify an executable (compiled) program. The systems and languages communities have built many tools for error detection, fault isolation, architecture translation, performance measurement, simulation, and optimization using this approach of modifying executables. Currently, however, tools of this sort are difficult and time-consuming to write and are usually closely tied to a particular machine and operating system. EEL supports a machine- and system-independent editing model that enables tool builders to modify an executable without being aware of the details of the underlying architecture or operating system or being concerned with the consequences of deleting instructions or adding foreign code.

References

  1. 1.Alfred V Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles. Techniques, and Tools. Addison-Wesley, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.Knsty Andrews and Duane Sand. Migrating a CISC Computer Family onto RISC via Object Code Translation. In Proceedings ~ the Feth bzternattonal Conference on Archttecturat Sul~port Jor Programmttzg Langttages wtd Operating Systems (ASPLOS V), pages 213-222, October t 992 Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.Mark W. Bmley and Jack W Davidson A Formal Model and Spec~ficanon Language for Procedure Calling Conventions In Conferenr'e Rer'ord o/POPL '95' 22nd ACM SIGPLAN-SIGA CT Symposittm on Prmciptev of Programmit~g Languages, pages 298- 310, January 1995 Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.Thomas Ball and James R. Larus Opnmally Profihng and Tracing Programs. ACM Transactzons on Ptvgrammmg Lafzguages and Syvtems, 16(4).1319-1360, July 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.Amta Borg, R. E, Kessler, and David W. Wail. Generation and Analys~s of Very Long Address Traces. In Proceedings q the 17th Annttal lnternattonat Symposium on Computer Architectttre, pages 270-28 l, May 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.Brad Calder, Dirk Grunwald, and Benjamin Zorn. Quantifying Behavioral Differences Between C and C++ Programs. Journal (~ Programm,zg Languages, 1995 To appear.Google ScholarGoogle Scholar
  7. 7.Steve Chamberlain hbbJd: The Btnao' File Descrtptor Library. Cygnus Support, bfd version 3 0 e&tion, Apnl 1991.Google ScholarGoogle Scholar
  8. 8.J. Bradley Chen and Brian N Bershad The hnpact of Operating System Structure on Memory System Performance In Proceedttzgs ot~ the Fourteenth A CM Sympositt,z on Operating System Prmctples (SOSP), pages t20-133, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.Jack W. Davidson and Christopher W. Fraser. Code Selection through Object Code Optimization ACM Transactions on Programming Languages and Systems, 6(4):505-526, October 1984 Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.Jack W. Davidson and Christopher W. Fraser Register Allocation and Exhaustwe Peephole Opum~zanon. Software Pracnce & Experience, 14(9).857-865, September 1994Google ScholarGoogle Scholar
  11. 11.Amer Diwan, David Tardin, and Eliot Moss. Memory Subsystem Performance of Programs Using Copying Garbage Collection. In Coltl~erence Record of the Twenty-Flint Annual ACM Sympostum ott Prtnctples ol~ Programmtng Languages, pages 1-14, January t994. Google ScholarGoogle Scholar
  12. 12.Tom R. Halfhill Emulation' RISC's Secret Weapon. Byte, pages 119-130, April 1994Google ScholarGoogle Scholar
  13. 13.Reed Hastings and Bob Joyce. Purify' Fast Detection of Memory Leaks and Access Errors. In Proceedt,gs o! the Winter Usentx Cont%'ence, pages 1-12, January 1992Google ScholarGoogle Scholar
  14. 14.James R Larus. Abstract Execution: A Techmque for Efficiently Tracing Programs. Software Practice & Expertem'e, 20(12): i241- 1258, December 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15.James R. Larus and Thomas Ball. Rewrinng Executable Files to Measure Program Behavior. So/tware Practtce& Expertence, 24(2):197-218, February 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16.Alvin R Lebeck and David A Wood. Active Memory' A New Abstraction for Memory-System Simulation In Proceedings (!f the t 995 ACM &gmetrzcs Conj~ere~we on Measuremetlt and Modeling (~ Computer Systems, May t995. To appear Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17.Pure Software. United States Patent 5,t93, t80, March 1993.Google ScholarGoogle Scholar
  18. 18.Norman Ramsey and David Hanson. A Retargetable Debugger. In Proceedtngs ~ the SIGPLAN '92 Conj'erence ot~ Programming Language Design and Implementatton (PLDI), pages 22-31, June 1992. Google ScholarGoogle Scholar
  19. 19.Steven K. Reinhardt, Mark D. Htll, James R. Larus, Alvin R. Lebeck, James C. Lewis, and Dawd A. Wood The Wisconsin Wind Tunnel: V~rtual Prototyping of Parallel Computers. In Proceedings (~ the 1993 ACM Stgmetrtcs Conj'~rence on Measurement and Modehng ot' Computer Systems, pages 48-60, May 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. 20.loanms Schoinas, Babak Falsafi, Alwn R. Lebeck, Steven K Reinhardt, James R. Larus, and David A Wood. Fine-grain Access Control for Distributed Shared Memory In Proceedings (~' the Sixth International ConJeretzr e on Architectural Support fiJr Programming Langttages und Operating Systems (ASPLOS VI), pages 297-307, October I994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. 21.R~chard L. S~tes, Anton Chernoff, Matthew B. Kirk, Maunce P. Marks, and Scott G Robinson. Binary Translation. Comnumicalions oj' the ACM, 36(2):69-81, February t993 Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 22.M~chael D. Smith. Tracing with pixie. Memo from Center for Integrated Systems, Stanford Univ, April 199I.Google ScholarGoogle Scholar
  23. 23.Amitabh Srivastava and Alan Eustace. ATOM A System for Building Customized Program Analysis Tools In Proceedtngs o,/ the SIGPLAN '94 Coteerence on Program,zitzg Language Destgn atM h;lplemetzratio, (PLDI), pages t96-205, June 1994 Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. 24.Am~tabh Srtvastava and Dawd Wall Link-Tune Optimtzanon of Address Calculanon on a 64-Nt ArcNtectum. In Proceedtngs of the SIGPLAN '94 Cont'ere~zce on Programming Language Destgn atzd huple,tentatton (PLDI), pages 49-60, June 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. 25.Anntabh Snvastava and Dawd W. Wail. A practical system for intermodule code optimizanon at link-time. Jottrnal oJ Programming Languages, 1 (1): 1-18, March 1993.Google ScholarGoogle Scholar
  26. 26.Richard M. Stallman Using and Porting GNU CC. Free Software Foundation, October t993. For GCC Version 2.5Google ScholarGoogle Scholar
  27. 27.Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham Efficient Software-Based Fault Isolation. In Proceedzngs q' the Fottrteenth ACM Symposium on Operating System Principles (SOSP), pages 203-216, December 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. 28.Mark We~ser. Program Slic~ng, IEEE Transacttons on Software Etzgmeertng, SE- 10(4):352-357, July 1984.Google ScholarGoogle Scholar
  29. 29.Cheryl A. Wiecek. A Case Study of VAX- i 1 Instruction Set Usage for Compiler Execution. In Proceedtngs q' Syml~osium on Architectural Stqwort for Programming Languages and Operations Systems, pages t77-184, April t982. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. EEL: machine-independent executable editing

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
          June 1995
          335 pages
          ISBN:0897916972
          DOI:10.1145/207110

          Copyright © 1995 ACM

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 June 1995

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          PLDI '95 Paper Acceptance Rate28of105submissions,27%Overall Acceptance Rate406of2,067submissions,20%

          Upcoming Conference

          PLDI '24

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader