Selective Control-Flow Abstraction via Jumping

Preview

Mehmet will present “Selective Control-Flow Abstraction via Jumping” by Blackshear, Chang, and Sridharan.

Summary

The paper presents jumping, a selective control-flow abstraction to improve scalability of goal-directed static analyses, specifically when analyzing event-driven systems. Jumping allows the analysis to selectively abstract away control-flow between events irrelevant to a goal query while preserving information about the ordering of relevant events to solve this problem. This abstraction keeps the important event ordering information to not lose too much precision while being much more tractable than a naive strategy that would analyze all possible event orderings.

The authors present a framework for designing sound jumping analyses and evaluate their technique by creating an inter-event analysis for Android applications.