There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code? (Invited Tutorial)
نویسندگان
چکیده
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptions about having certain kinds of information available (variables, control-flow graph, callgraph, etc.) and also to address new kinds of behaviors (arithmetic on addresses, jumps to “hidden” instructions starting at positions that are out of registration with the instruction boundaries of a given reading of an instruction stream, self-modifying code, etc.). The paper describes some of the challenges that arise when analyzing machine code, and what can be done about them. It also provides a rationale for some of the design decisions made in the machine-codeanalysis tools that we have built over the past few years.
منابع مشابه
In situ phytoplankton analysis: there's plenty of room at the bottom.
In Situ Phytoplankton Analysis: There’s Plenty of Room at the Bottom Jeffrey S. Erickson, Nastaran Hashemi, James M. Sullivan, Alan D. Weidemann, and Frances S. Ligler* Center for Bio/Molecular Science and Engineering, Naval Research Laboratory, Code 6900, Washington, D.C. 20375-5438, United States WET Laboratories, Inc., Department of Research, 70 Dean Knauss Drive, Narragansett, Rhode Island ...
متن کاملNanoparticles in Protein Formulation: Challenges, Current Trends and Future Perspectives
There’s plenty of room at the bottom was the title of the lecture given by Richard Feynman to introduce the concept of Nanotechnology to the world [1]. Over the last five decades, significant progress has been made in the understanding of materials at the nano scale level. There have been many developments and improvements in formulation of drugs, however; the delivery of drugs in the required ...
متن کاملParadigms to assess the environmental impact of manufactured nanomaterials.
Visualize printing all 24 volumes of the Encyclopaedia Britannica on the head of a pin. In 1959, Richard Feynman articulated this reality in an insightful address at the annual meeting of the American Physical Society. In what became a prophetic speech, ‘‘There’s plenty of room at the bottom’’ [1], Feynman discussed manipulating and controlling matter on a small scale. Back then, forward thinki...
متن کاملA Regional Comparison
The ‘nanotechnology’ concept first captured the world’s attention when the Nobel Prize winner Richard Feynman advocated the possibility of widespread nanotechnology research by delivering his famous speech, “There’s Plenty of Room at the Bottom” just half a century ago. The emerging nanotechnology field comprises one of the fastestgrowing research and development (R&D) areas in the world (Natio...
متن کاملDesigning CT scanning rooms and estimating patient and personnel absorbed dose using code (MCNPX 2.6)
One of the most widely used diagnostic devices in medical imaging is computed tomography scanning with the use of X-ray ionization. After years of using this tool in the diagnosis and treatment, external doses of these beams can pose a risk of secondary cancer, which is significant in terms of radiation safety and protection. In this paper, using the Monte Carlo code MCNPX2.6 performed over thr...
متن کامل