Thu 18 Jul 2019 14:10 - 14:30 at Mancy - Program Analysis 2 Chair(s): Christian Hammer

In the past, many static analyses have been created in academia, but only a few of them have found widespread use in industry. Those analyses which are adopted by developers usually have IDE support in the form of plugins, without which developers have no convenient mechanism to use the analysis. Hence, the key to making static analyses more accessible to developers is to integrate the analyses into IDEs and editors. However, integrating static analyses into IDEs is non-trivial: different IDEs have different UI workflows and APIs, expertise in those matters is required to write such plugins, and analysis experts are not typically familiar with doing this. As a result, especially in academia, most analysis tools are headless and only have command-line interfaces. To make static analyses more usable, we propose MagpieBridge—a general approach to integrating static analyses into IDEs and editors. MagpieBridge reduces the mxn complexity problem of integrating m analyses into n IDEs to m+n complexity as each analysis and type of plugin needs be done just once. We demonstrate our approach by integrating two existing analyses, Ariadne and CogniCrypt, into IDEs; these two analyses illustrate the generality of MagpieBridge, as they are based on different program analysis frameworks—WALA and Soot respectively—for different application areas—machine learning and security—and different programming languages—Python and Java. We show further generality of MagpieBridge by using multiple popular IDEs and editors, such as Eclipse, IntelliJ, PyCharm, Jupyter, Atom, Sublime and even Emacs and Vim.

Conference Day
Thu 18 Jul

Displayed time zone: Belfast change

13:30 - 15:10
Program Analysis 2Research Papers at Mancy
Chair(s): Christian HammerUniversity of Potsdam
13:30
20m
Research paper
Deep Static Modeling of invokedynamic
Research Papers
George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI Media Attached
13:50
20m
Research paper
Automated Large-scale Multi-language Dynamic Program Analysis in the WildTool Insights Paper
Research Papers
Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland
DOI Media Attached
14:10
20m
Research paper
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsTool Insights Paper
Research Papers
Linghui LuoPaderborn University, Julian DolbyIBM Research, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print Media Attached
14:30
20m
Research paper
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Research Papers
Alexi TurcotteNortheastern University, Ellen ArtecaNortheastern University, Gregor RichardsUniversity of Waterloo
DOI Media Attached
14:50
20m
Research paper
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsBrave New Idea
Research Papers
Carmen Torres LopezVrije Universiteit Brussel, Robbert Gurdeep SinghUniversiteit Gent, Belgium, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
DOI Media Attached