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

Displayed time zone: (UTC) Coordinated Universal Time change

08:00 - 09:00
Software Analysis (1)Research Papers at Kangaroo
Chair(s): Michael Pradel University of Stuttgart, Germany
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Research Papers
Timotej Kapus Imperial College London, UK, Frank Busse Imperial College London, Cristian Cadar Imperial College London, UK
Pre-print Media Attached
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program AnalysisACM Distinguished Paper
Research Papers
Sungho Lee Chungnam National University, Korea, Hyogun Lee KAIST, Sukyoung Ryu KAIST
Assessing and Restoring Reproducibility of Jupyter Notebooks
Research Papers
Jiawei Wang , Tzu-yang Kuo The Hong Kong University of Science and Technology, Li Li Monash University, Australia, Andreas Zeller CISPA, Germany