Efficient, Scalable, and Accurate Program Fingerprinting in Binary Code