TouchGuru: Integrating static analysis with a mobile development environment

Mobile apps often expose bugs only under specific environment conditions or after specific interactions, making it hard to detect them via testing. By approximating the program behavior under all possible conditions, static analysis is able to fill this gap. In this invited talk, we present TouchGuru, a static analyzer for Microsoft TouchDevelop scripts. In particular, we present how the design of TouchGuru takes into account the user's perspective.