ASE 2020★ Distinguished Paper

Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis

Abstract

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 inter-operation. 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.

BibTeX

@inproceedings{Lee-al:ASE20,
  author    = {Sungho Lee and
               Hyogun Lee and
               Sukyoung Ryu},
  title     = {Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for {JNI} Program Analysis},
  booktitle = {ASE},
  pages     = {127--137},
  publisher = {{IEEE}},
  year      = {2020},
}

Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis

Abstract

Related papers