BinHunt: Automatically Finding Semantic Differences in Binary Programs