A reverse engineering framework for iOS