creating hypotheses reverse engineering binary programs