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

Detecting memory leak at industrial scale is still not well addressed, in spite of tremendous efforts from both the industrial and academia in the past decades. Existing work suffers from an unresolved paradox – a highly precise analysis limits its scalability and an imprecise one seriously hurts its precision or recall. In this work, we present SMOKE, a staged approach to resolve this paradox. Instead of using a uniform precise analysis for all paths, in the first stage, we use a scalable but imprecise analysis to compute a succinct set of candidate memory leak paths. In the second stage, we leverage a more precise analysis to verify the feasibility of the candidates. Our first stage analysis is scalable, due to the design of a new sparse program representation, namely use-flow graph (UFG), which enables us to model the problem as a polynomial-time state analysis. Our second stage analysis is precise and still efficient, due to the smaller number of candidates and the design of a dedicated constraint solver. Experimental results demonstrated that SMOKE can finish checking industrial-sized projects, up to 8MLoC, in forty minutes with an average false positive rate of 24.4%. Besides, SMOKE is significantly faster than the state-of-the-art research techniques as well as the industrial tools, with the speedup ranging from 27.9X to 105.9X. In the twenty-nine mature and extensively checked benchmark projects, SMOKE has discovered thirty previously-unknown memory leaks which were confirmed by developers, and one even got a CVE ID.

Wed 29 May

11:00 - 12:30: Papers - Static Analysis at Viger
Chair(s): Laura DillonMichigan State University
icse-2019-Technical-Papers11:00 - 11:20
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
icse-2019-Technical-Papers11:20 - 11:40
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
icse-2019-Technical-Papers11:40 - 12:00
Kihong HeoUniversity of Pennsylvania, USA, Hakjoo OhKorea University, Hongseok YangKAIST
icse-2019-Demonstrations12:00 - 12:20
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