disasm

Real programmers can write assembly code in any language. -- Larry Wall

Description

The disasm project investigates the use of binary analysis techniques to statically detect malicious behavior or vulnerable code in binary objects.

The application of analysis techniques at the binary level—as opposed to the source code level—is motivated by a number of reasons. First, it is not always the case that the source code of an application is available. For example, most proprietary applications are distributed in binary form only. Second, even when the source code for compiled languages is available, transformations performed by compilers and optimizer tools may subtly alter the actual behavior of an application, and, consequently, invalidate the results of the analysis performed at the source code level.

In the disasm project, we explored different uses of binary analysis. In particular, we used binary analysis:

Software

Publications

People

Acknowledgments

This research was supported by the Army Research Office under agreement DAAD19-01-1-0484 and by the National Science Foundation under grants CCR-0209065 and CCR-0238492.