We present a practical approach to fix memory-leak errors detected by static analyzers for C programs. Given a program and an error report that specifies memory-leak errors, we generate patches that fix the given error. To make our approach practical, we support the following features: conditional deallocation, safety, and scalability. Our technique supports insertion of conditional deallocation statements which is crucial to achieve high repairability for memory-leak. Moreover, we guarantee that our patches do not introduce new errors such as double-free and use-after-free. To this end, we statically compute life-cycle of allocated heaps through a sound and path-sensitive heap analysis and then synthesize patches that meet a safety constraint. For scalability, we designed two heuristics: a slicing heuristic and a state-merging heuristic. The former is for programs that compute a relevant program to the given error, and the latter is to compute a set of path conditions that are required for patch generation. We implemented our technique in a tool and evaluated it on open source C projects collected from GitHub. The results show that our approach is promising; it fixed 71 errors out of 95 true memory-leak errors detected by a practical static analyzer.
Mon 21 Oct
17:30 - 17:33 Poster | Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
17:33 - 17:36 Poster | 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 | |||||||||||||||||||||||||||||||||||||||||
17:36 - 17:39 Poster | Shigeyuki SatoThe University of Tokyo | |||||||||||||||||||||||||||||||||||||||||
17:39 - 17:42 Poster | Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland | |||||||||||||||||||||||||||||||||||||||||
17:42 - 17:45 Poster | Matúš SulírTechnical University of Košice Pre-print | |||||||||||||||||||||||||||||||||||||||||
17:45 - 17:48 Poster | ||||||||||||||||||||||||||||||||||||||||||
17:48 - 17:52 Poster | Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
17:52 - 17:55 Poster | Adam SeewaldUniversity of Southern Denmark, Ulrik SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam | |||||||||||||||||||||||||||||||||||||||||
17:55 - 17:58 Poster | Nafise Eskandani MasouleTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt | |||||||||||||||||||||||||||||||||||||||||
17:58 - 18:01 Poster | Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
18:01 - 18:04 Poster | Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
18:04 - 18:07 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:07 - 18:11 Poster | Salim S. SalimUniversity of Manchester, Andy NisbetThe University of Manchester, Mikel LujánUniversity of Manchester | |||||||||||||||||||||||||||||||||||||||||
18:11 - 18:14 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:14 - 18:17 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:17 - 18:20 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:20 - 18:23 Poster | Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:23 - 18:26 Poster | Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:26 - 18:30 Poster | Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:30 - 18:33 Poster | Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
18:33 - 18:36 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:36 - 18:39 Poster | Makoto SakaneJapan Women’s University, Yuka AkinobuJapan Women’s University, Taku TadaYokohama National University, Kimio KuramitsuJapan Women’s University | |||||||||||||||||||||||||||||||||||||||||
18:39 - 18:42 Poster | Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:42 - 18:45 Poster | Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:45 - 18:48 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:48 - 18:52 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:52 - 18:55 Poster | Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:55 - 18:58 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:58 - 19:01 Poster | Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:01 - 19:04 Poster | Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:04 - 19:07 Poster | Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:07 - 19:11 Poster | Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:11 - 19:14 Poster | Muna AltherwiSouthampton University | |||||||||||||||||||||||||||||||||||||||||
19:14 - 19:17 Poster | Florian LatifiJohannes Kepler University Linz | |||||||||||||||||||||||||||||||||||||||||
19:17 - 19:20 Poster | Dominik AumayrJohannes Kepler University Linz, Austria | |||||||||||||||||||||||||||||||||||||||||
19:20 - 19:23 Poster | Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook | |||||||||||||||||||||||||||||||||||||||||
19:23 - 19:26 Poster | Maarten P. SijmDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
19:26 - 19:30 Poster |
Thu 24 Oct
17:30 - 17:32 Poster | Mohammadreza AshouriUniversity of Potsdam, Germany | |||||||||||||||||||||||||||||||||||||||||
17:32 - 17:35 Poster | Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
17:35 - 17:38 Poster | 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 | |||||||||||||||||||||||||||||||||||||||||
17:38 - 17:40 Poster | Shigeyuki SatoThe University of Tokyo | |||||||||||||||||||||||||||||||||||||||||
17:40 - 17:43 Poster | Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland | |||||||||||||||||||||||||||||||||||||||||
17:43 - 17:46 Poster | ||||||||||||||||||||||||||||||||||||||||||
17:46 - 17:49 Poster | Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
17:49 - 17:51 Poster | Adam SeewaldUniversity of Southern Denmark, Ulrik SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam | |||||||||||||||||||||||||||||||||||||||||
17:51 - 17:54 Poster | Nafise Eskandani MasouleTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt | |||||||||||||||||||||||||||||||||||||||||
17:54 - 17:57 Poster | Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
17:57 - 18:00 Poster | Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
18:00 - 18:02 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:02 - 18:05 Poster | Salim S. SalimUniversity of Manchester, Andy NisbetThe University of Manchester, Mikel LujánUniversity of Manchester | |||||||||||||||||||||||||||||||||||||||||
18:05 - 18:08 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:08 - 18:10 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:10 - 18:13 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:13 - 18:16 Poster | Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:16 - 18:19 Poster | Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:19 - 18:21 Poster | Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:21 - 18:24 Poster | Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
18:24 - 18:27 Poster | Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:27 - 18:30 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:30 - 18:32 Poster | Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:32 - 18:35 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:35 - 18:38 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:38 - 18:40 Poster | Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:40 - 18:43 Poster | Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:43 - 18:46 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:46 - 18:49 Poster | Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:49 - 18:51 Poster | Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:51 - 18:54 Poster | Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael BondOhio State University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:54 - 18:57 Poster | Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:57 - 19:00 Poster | Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:00 - 19:02 Poster | Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:02 - 19:05 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:05 - 19:08 Poster | Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:08 - 19:10 Poster | Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:10 - 19:13 Poster | Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:13 - 19:16 Poster | Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:16 - 19:19 Poster | Florian LatifiJohannes Kepler University Linz | |||||||||||||||||||||||||||||||||||||||||
19:19 - 19:21 Poster | Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook | |||||||||||||||||||||||||||||||||||||||||
19:21 - 19:24 Poster | Maarten P. SijmDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
19:24 - 19:27 Poster | Junwen Yanguniversity of chicago, Cong YanUniversity of Washington, Chengcheng WanThe University of Chicago, Alvin CheungUniversity of California, Berkeley, Shan LuUniversity of Chicago | |||||||||||||||||||||||||||||||||||||||||
19:27 - 19:30 Poster | Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft Link to publication |