BinHunt: Automatically Finding Semantic Differences in Binary Programs

Download Now Free registration required

Executive Summary

The authors introduce BinHunt, a novel technique for finding semantic differences in binary programs. Semantic differences between two binary files contrast with syntactic differences in that semantic differences correspond to changes in the program functionality. Semantic differences are difficult to find because of the noise from syntactic differences caused by, e.g., different register allocation and basic block re-ordering. BinHunt bases its analysis on the control flow of the programs using a new graph isomorphism technique, symbolic execution, and theorem proving.

  • Format: PDF
  • Size: 529.9 KB