Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 12:00 - 12:20 at Viger - Static Analysis Chair(s): Mauro Pezze

We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver. In particular, we complement CSA’s existing heuristics that remove spurious bug reports. We encode the path constraints produced by CSA as Satisfiability Modulo Theories (SMT) problems, use SMT solvers to precisely check them for satisfiability, and remove bug reports whose associated path constraints are unsatisfiable. Our refutation extension refutes spurious bug reports in 8 out of 12 widely used open-source applications; on average, it refutes ca. 7% of all bug reports, and never refutes any true bug report. It incurs only negligible performance overheads, and on average adds 1.2% to the runtime of the full Clang/LLVM toolchain. A demonstration is available at https://www.youtube.com/watch?v=ylW5iRYNsGA.

Wed 29 May

icse-2019-Paper-Presentations
11:00 - 12:30: Papers - Static Analysis at Viger
Chair(s): Mauro PezzeUniversità della Svizzera italiana (USI) (Switzerland) and Università degli Studi di Milano Bicocca (Italy)
icse-2019-Technical-Papers11:00 - 11:20
Talk
Gang FanHong Kong University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Xiao XiaoSourcebrella Inc., Jinguo ZhouSourcebrella Inc., Charles ZhangThe Hong Kong University of Science and Technology
Pre-print
icse-2019-Technical-Papers11:20 - 11:40
Talk
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
icse-2019-Technical-Papers11:40 - 12:00
Talk
Kihong HeoUniversity of Pennsylvania, USA, Hakjoo OhKorea University, Hongseok YangKAIST
icse-2019-Demonstrations12:00 - 12:20
Talk
Mikhail R. GadelhaSIDIA Instituto de Ciência e Tecnologia, Enrico Steffinlongo, Lucas C. CordeiroUniversity of Manchester, UK, Bernd FischerStellenbosch University, Denis A. NicoleUniversity of Southampton
icse-2019-Paper-Presentations12:20 - 12:30
Talk