WYSINWYX
Abstract
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executable, and to track the flow of values through them. The article presents the algorithms that we developed, explains how they are used to recover Intermediate Representations (IRs) from executables that are similar to the IRs that would be available if one started from source code, and describes their application in the context of program understanding and automated bug hunting.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 01, 2010
- Source ID
- 10.1145/1749608.1749612
Entities
People
- Gogul Balakrishnan
- Thomas Reps
Organizations
- Air Force Research Laboratory
- Division of Computing and Communication Foundations
- NEC Laboratories America
- National Science Foundation
- Office of Naval Research
- University of Wisconsin–Madison