The construction and applications of callback control flow graphs for event-driven and framework-based mobile apps