Binary Search Iterative Program Integrity