讲座题目：Cross-platform analysis of mobile apps using the WALA framework

报告人： Julian Dolby 研究员（美国IBM Thomas J. Watson Research Center）

主持人：李鑫

报告时间：12月5日 周二 10: 00—11:00

报告地址：中北校区数学馆201

报告摘要：

There are multiple mobile platforms, such as iOS, Android, Tizen, Windows Phone and Firefox OS. And hybrid apps are supported on some platforms too. Each has app stores with numerous apps, written in different languages and for different architectures. Many concerns are shared across all apps: e.g. battery consumption (does the app drain the phone?), privacy (does it improperly share information), security (is the app malicious?), stability (does it handle exceptional inputs correctly?), etc. Program analysis can address these concerns, but currently requires different analysis implementations for different platforms; this is time consuming and complicates cross-platform studies. The Watson Libraries for Analysis (WALA) framework supports the languages, and semantic models, underlying all of the above the platforms, enabling one to write the analysis algorithm once and apply it to all these platforms.

报告人简介：

Julian Dolby is a Research Staff Member at the IBM Thomas J. Watson Research Center, where he works on program analysis for a range of programming languages. He is one of the original creators of WALA; his recent WALA work has focused on creating the WALA Mobile infrastructure. He has co-presented tutorials on WALA at several PLDI conferences, and co-organized the Workshop on WALA at PLDI 2015.