Reusing Single-Language Analyses for Static Analysis of Multi-Language ProgramsRemote
State-of-the-art software is crafted in multiple programming languages. Multi-language software challenges static analyses. Since many static analyses are focused on analyzing single-language programs, they are inherently unsound or imprecise in analyzing cross-language interaction. Furthermore, existing approaches that perform multi-language analysis are not analysis or language independent and lack in extensibility for new languages. To fill this gap, we will develop an extensible, language, framework, and analysis independent architecture to reuse existing static analyses for analyzing multi-language software. Our hypotheses are, that analyses based on our architecture will be more sound and more precise than state-of-the-art analyses and that our architecture allows to reuse existing analyses to a larger extent than state-of-the-art approaches. We will evaluate our architecture with a points-to and IFDS analysis for Java, JavaScript and native code and compare it against the state of the art.
Tue 24 OctDisplayed time zone: Lisbon change
14:00 - 15:30 | |||
14:00 30mTalk | Remote Just-in-Time Compilation for Dynamic Languages Doctoral Symposium Andrej Pečimúth Oracle Labs; Charles University | ||
14:30 30mTalk | Reusing Single-Language Analyses for Static Analysis of Multi-Language ProgramsRemote Doctoral Symposium Tobias Roth Technische Universität Darmstadt | ||
15:00 30mTalk | Semantic Versioning for Python Programs Doctoral Symposium |