SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Fri 24 Oct 2014 14:37 - 15:00 at Salon E - Static Analysis Chair(s): Anders Møller

Mobile app markets have lowered the barrier to market entry for software producers. As a consequence, an increasing number of independent app developers offer their products, and recent platforms such as the MIT App Inventor and Microsoft’s TouchDevelop enable even lay programmers to develop apps and distribute them in app markets.

A major challenge in this distribution model is to ensure the quality of apps. Besides the usual sources of software errors, mobile apps are susceptible to errors caused by the non-determinism of an event-based execution model, a volatile environment, diverse hardware, and others. Many of these errors are difficult to detect during testing, especially for independent app developers, who are not supported by test teams and elaborate test infrastructures.

To address this problem, we propose a static program analysis that captures the specifics of mobile apps and is efficient enough to provide feedback during the development process. We present our analysis for TouchDevelop, but most aspects apply also to other platforms. Experiments involving 51,456 published TouchDevelop scripts show that our analysis analyzes 98% of the scripts in under a minute, and five seconds on average. Manual inspection of the analysis results for a selection of all scripts shows that most of the alarms are real errors.

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Static AnalysisOOPSLA at Salon E
Chair(s): Anders Møller Aarhus University
13:30
22m
Talk
Validation of Memory Accesses Through Symbolic Analyses
OOPSLA
Link to publication
13:52
22m
Talk
Abstract Semantic Differencing via Speculative Correlation
OOPSLA
Nimrod Partush Technion, Eran Yahav Technion
Link to publication
14:15
22m
Talk
Efficient Subcubic Alias Analysis for C
OOPSLA
Qirun Zhang The Hong Kong University of Science and Technology, A: Xiao Xiao The Hong Kong University of Science and Technology, A: Charles Zhang Hong Kong University of Science and Technology, A: Hao Yuan BOPU Technologies, A: Zhendong Su University of California, Davis
Link to publication
14:37
22m
Talk
Static Analysis for Independent App Developers
OOPSLA
Lucas Brutschy ETH Zurich, Pietro Ferrara IBM Thomas J. Watson Research Center, Peter Müller ETH Zurich
Link to publication