Symbolic Execution Over Native X86
Eagle, Chris S.
Dinolt, George W.
MetadataShow full item record
Current approaches to program analysis largely rely on the use of an intermediate language to derive intermediate representations of source code or binaries under evaluation. This can simplify semantics when dealing with a complex instruction set such as the Intel Industry Standard Architecture (ISA) instruction set. However, a question that remains is whether these intermediate languages truly retain semantic fidelity or whether elements of the ISA instruction set get lost in translation. This thesis describes a framework that is being developed at NPS that accomplishes symbolic execution without the use of an intermediate language and symbolically executes ELF and WinPE binary programs over the native x86 ISA instruction set, and specifically discusses an approach to describing state mathematically using a formal algebra.
Showing items related by title, author, creator and subject.
Garrigan, Robert J. (1987-09);The United States Navy is in the process of considering the use of Mobile Maintenance Facilities to provide an intermediate level maintenance capability to MH-53E helicopter minesweeping and countermeasure squadrons of ...
Li, Tim; Hogan, Timothy F.; Chang, C.-P. (2000-10);The relative roles of clouds, surface evaporation, and ocean heat transport in limiting maximum sea surface temperatures (SSTs) in the western Pacific warm pool are investigated by means of simple and intermediate coupled ...
Vertical structure of aerosols, temperature, and moisture associated with an intense African dust event observed over the eastern Caribbean Jung, Eunsil; Albrecht, Bruce; Prospero, Joseph M.; Jonsson, Haflidi H.; Kreidenweis, Sonia M. (2013);An unusually intense African dust event affected a large area of the western Atlantic and eastern Caribbean in early April 2010. Measurements made east of Barbados from the Center for Interdisciplinary Remotely Piloted ...