A Static Dataflow Analysis Framework for iOS Applications. - View it on GitHub