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.
- 1.Alfred V Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles. Techniques, and Tools. Addison-Wesley, 1985. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 6.Brad Calder, Dirk Grunwald, and Benjamin Zorn. Quantifying Behavioral Differences Between C and C++ Programs. Journal (~ Programm,zg Languages, 1995 To appear.Google Scholar
- 7.Steve Chamberlain hbbJd: The Btnao' File Descrtptor Library. Cygnus Support, bfd version 3 0 e&tion, Apnl 1991.Google Scholar
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 10.Jack W. Davidson and Christopher W. Fraser Register Allocation and Exhaustwe Peephole Opum~zanon. Software Pracnce & Experience, 14(9).857-865, September 1994Google Scholar
- 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 Scholar
- 12.Tom R. Halfhill Emulation' RISC's Secret Weapon. Byte, pages 119-130, April 1994Google Scholar
- 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 Scholar
- 14.James R Larus. Abstract Execution: A Techmque for Efficiently Tracing Programs. Software Practice & Expertem'e, 20(12): i241- 1258, December 1990. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 17.Pure Software. United States Patent 5,t93, t80, March 1993.Google Scholar
- 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 Scholar
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 22.M~chael D. Smith. Tracing with pixie. Memo from Center for Integrated Systems, Stanford Univ, April 199I.Google Scholar
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 Scholar
- 26.Richard M. Stallman Using and Porting GNU CC. Free Software Foundation, October t993. For GCC Version 2.5Google Scholar
- 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 ScholarDigital Library
- 28.Mark We~ser. Program Slic~ng, IEEE Transacttons on Software Etzgmeertng, SE- 10(4):352-357, July 1984.Google Scholar
- 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 ScholarDigital Library
Index Terms
- EEL: machine-independent executable editing
Recommendations
EEL: machine-independent executable editing
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, ...
Interfacial reactions and electrical properties of hafnium-based thin films in Cu/barrier/n+-p junction diodes
In this study, the barrier properties of Hf and nitrogen incorporated Hf films were investigated by Cu/Hf-N/Si structure. Hafnium and hafnium nitride films were prepared by reactive rf-magnetron sputtering on blank silicon wafers. The barrier properties ...
Comments