Broadening horizons of multilingual static analysis
Sungho Lee, Hyogun Lee, Sukyoung Ryu
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.
Topics & Concepts
InteroperationComputer scienceProgramming languageCompilerSemantics (computer science)Compile timeInteroperabilityWorld Wide WebAdvanced Malware Detection TechniquesSoftware Engineering ResearchSoftware Testing and Debugging Techniques