Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 08:20 - 08:40 at Kangaroo - Software Analysis (1) Chair(s): Michael Pradel

Most programming languages support foreign language interoperation that allows developers to integrate multiple modules implemented in different languages into a single multilingual program. While utilizing various features from multiple languages expands expressivity, differences in language semantics require developers to understand the semantics of multiple languages and their interoperation. Because current compilers do not support compile-time checking for interoperation, they do not help developers avoid interoperation bugs. Similarly, active research on static analysis and bug detection has been focusing on programs written in a single language.

In this paper, we propose a novel approach to analyze multilingual programs statically. Unlike existing approaches that extend a static analyzer for a host language to support analysis of foreign function calls, our approach extracts semantic summaries from programs written in guest languages using a modular analysis technique, and performs a whole-program analysis with the extracted semantic summaries. To show practicality of our approach, we design and implement a static analyzer for multilingual programs, which analyzes JNI interoperation between Java and C. Our empirical evaluation shows that the analyzer is scalable in that it can construct call graphs for large programs that use JNI interoperation, and useful in that it found 74 genuine interoperation bugs in real-world Android JNI applications.

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

08:00 - 09:00: Software Analysis (1)Research Papers at Kangaroo
Chair(s): Michael PradelUniversity of Stuttgart, Germany
08:00 - 08:20
Talk
Research Papers
Timotej KapusImperial College London, UK, Frank BusseImperial College London, Cristian CadarImperial College London, UK
Pre-print Media Attached
08:20 - 08:40
Talk
Research Papers
Sungho LeeChungnam National University, Korea, Hyogun LeeKAIST, Sukyoung RyuKAIST
08:40 - 09:00
Talk
Research Papers
Jiawei Wang, Tzu-yang KuoThe Hong Kong University of Science and Technology, Li LiMonash University, Australia, Andreas ZellerCISPA, Germany