Mihai's Binary Rewriting Project Information

WiSA attempts to create a set of tools that makes it easier to analyze COTS (commercial-off-the-shelf systems). Of great interest is the analysis of security and privacy properties: is this program/system secure or full of exploitable buffer overflows? Will this program/system use my personal information in a allowed way or will it post my credit card numbers to a news group?

To this end, we attempt to build a general purpose binary rewriting tool.

What follows is a set of documents we find useful in the process of constructing this magical tool.

Executable File Formats:

• The Microsoft Portable Executable (PE) and Common Object File Format Specification (COFF) - version 6.0:
  
   PDF (272 kB)
   Microsoft Word (287 kB)
  

Processor Manuals:

• IA-32 Intel Architecture Software Developer's Manual:
  
   PDF Volume 1: Basic Architecture (3.91 MB)
   PDF Volume 2: Instruction Set Reference (6.43 MB)
   PDF Volume 3: System Programming Guide (6.12 MB)
  

Presentations:

General Purpose Binary Rewriting Date:  27 January 2003 Abstract:  A description of the architecture for a binary rewriting tool. Conference:  MURI Meeting, January 2003, Williamsburg, VA, USA Project:  WiSA PDF:  20030127 - General Purpose Binary Rewriting.pdf (59 slides, 747 kB)