ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Fri 19 Jul 2019 11:00 - 11:22 at Grand Ballroom - Static Analysis and Debugging Chair(s): Arie van Deursen

In the last decades, numerous program analyzers have been developed both in academia and industry. Despite their abundance however, there is currently no systematic way of comparing the effectiveness of different analyzers on arbitrary code. In this paper, we present the first automated technique for differentially testing soundness and precision of program analyzers. We used our technique to compare six mature, state-of-the art analyzers on tens of thousands of automatically generated benchmarks. Our technique detected soundness and precision issues in most analyzers, and we evaluated the implications of these issues to both designers and users of program analyzers.

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

11:00 - 12:30: Static Analysis and DebuggingTechnical Papers at Grand Ballroom
Chair(s): Arie van DeursenDelft University of Technology
11:00 - 11:22
Talk
Differentially Testing Soundness and Precision of Program Analyzers
Technical Papers
Christian KlingerUniversity of Texas, Austin, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys Diligence
Pre-print
11:22 - 11:45
Talk
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
Technical Papers
Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Mira MeziniTU Darmstadt, Germany
Pre-print File Attached
11:45 - 12:07
Talk
Adlib: Analyzer for Mobile Ad Platform LibrariesArtifacts ReusableArtifacts Functional
Technical Papers
Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI Pre-print
12:07 - 12:30
Talk
Interactive Metamorphic Testing of Debuggers
Technical Papers
Sandro TolksdorfTU Darmstadt, Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt and Facebook
Link to publication DOI Pre-print