There's plenty of room at the bottom: analyzing and verifying machine code

摘要: This paper discusses the obstacles that stand in way of doing a good job machine-code analysis Compared with source code, challenge is to drop all assumptions about having certain kinds information available (variables, control-flow graph, call-graph, etc.) and also address new behaviors (arithmetic on addresses, jumps “hidden” instructions starting at positions are out registration instruction boundaries given reading an stream, self-modifying etc.). The describes some challenges arise when analyzing machine what can be done them It provides rationale for design decisions made machine-code-analysis tools we have built over past few years.