Bib-EDSAC-Debug

EEL

EEL reads object files and executables and allows tools built on top of EEL to modify the machine code without needing details of the underlying architecture or operating system or with the consequences of adding or deleting code.

EEL appears as a C++ class. EEL is provided with an executable, which it analyzes, creating abstractions such as executable (whole program), routines, CFGs, instructions and snippets. A tool built on EEL then edits the executable by performing structured rewrites of the EEL constructs; EEL ensures that details of register allocation, branches, etc. are updated correctly in the final code.

Categories:

Purpose: tool building
Input representation: exe
Detail: User
Multiple protection domains: Yes
Multiple processors: Y=
Signals and execptions: No
SMC OK: S (dynamically-linked libraries only)
Simulation technology: SCC + ???
Tool is robust in the face of application bugs: N
Status: available, nonproduct.

See:

bib cite
The WARTS home page; EEL is a part of WARTS.
An EEL home page.

From instruction-set simulation and tracing