BinHunt: Automatically Finding Semantic Differences in Binary Programs

摘要: We introduce BinHunt, a novel technique for finding semantic differences in binary programs. Semantic between two files contrast with syntactic that correspond to changes the program functionality. are difficult find because of noise from caused by, e.g., different register allocation and basic block re-ordering. BinHunt bases its analysis on control flow programs using new graph isomorphism technique, symbolic execution, theorem proving. implement system based demonstrate application three case studies which manages identify an executable patched version, revealing vulnerability patch eliminates.