Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Mon 21 Oct 2019 18:01 - 18:04 at Kallirhoe - Poster #1
Thu 24 Oct 2019 17:57 - 18:00 at Foyer - Poster #2

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

splash-2019-Posters
17:30 - 19:30: Posters - Poster #1 at Kallirhoe
splash-2019-Posters17:30 - 17:33
Poster
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
splash-2019-Posters17: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
splash-2019-Posters17:36 - 17:39
Poster
Shigeyuki SatoThe University of Tokyo
splash-2019-Posters17: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
splash-2019-Posters17:42 - 17:45
Poster
Matúš SulírTechnical University of Košice
Pre-print
splash-2019-Posters17:45 - 17:48
Poster
Alexandru DuraLund University, Hampus BalldinLund University
splash-2019-Posters17:48 - 17:52
Poster
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University
splash-2019-Posters17: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
splash-2019-Posters17:55 - 17:58
Poster
Nafise Eskandani MasouleTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
splash-2019-Posters17:58 - 18:01
Poster
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University
splash-2019-Posters18:01 - 18:04
Poster
Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
splash-2019-Posters18:04 - 18:07
Poster
Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
splash-2019-Posters18:07 - 18:11
Poster
Salim S. SalimUniversity of Manchester, Andy NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
splash-2019-Posters18:11 - 18:14
Poster
Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
splash-2019-Posters18:14 - 18:17
Poster
Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
splash-2019-Posters18:17 - 18:20
Poster
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18: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
splash-2019-Posters18:26 - 18:30
Poster
Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18:33 - 18:36
Poster
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
Link to publication
splash-2019-Posters18:36 - 18:39
Poster
Makoto SakaneJapan Women’s University, Yuka AkinobuJapan Women’s University, Taku TadaYokohama National University, Kimio KuramitsuJapan Women’s University
splash-2019-Posters18:39 - 18:42
Poster
Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18:45 - 18:48
Poster
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
Link to publication
splash-2019-Posters18:48 - 18:52
Poster
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18:55 - 18:58
Poster
David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt
Link to publication
splash-2019-Posters18: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
splash-2019-Posters19:01 - 19:04
Poster
Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
Link to publication
splash-2019-Posters19: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
splash-2019-Posters19:07 - 19:11
Poster
Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
Link to publication
splash-2019-Posters19:11 - 19:14
Poster
Muna AltherwiSouthampton University
splash-2019-Posters19:14 - 19:17
Poster
Florian LatifiJohannes Kepler University Linz
splash-2019-Posters19:17 - 19:20
Poster
Dominik AumayrJohannes Kepler University Linz, Austria
splash-2019-Posters19:20 - 19:23
Poster
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
splash-2019-Posters19:23 - 19:26
Poster
Maarten P. SijmDelft University of Technology
splash-2019-Posters19:26 - 19:30
Poster
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel

Thu 24 Oct

splash-2019-Posters
17:30 - 19:30: Posters - Poster #2 at Foyer
splash-2019-Posters17:30 - 17:32
Poster
Mohammadreza AshouriUniversity of Potsdam, Germany
splash-2019-Posters17:32 - 17:35
Poster
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
splash-2019-Posters17: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
splash-2019-Posters17:38 - 17:40
Poster
Shigeyuki SatoThe University of Tokyo
splash-2019-Posters17: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
splash-2019-Posters17:43 - 17:46
Poster
Alexandru DuraLund University, Hampus BalldinLund University
splash-2019-Posters17:46 - 17:49
Poster
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University
splash-2019-Posters17: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
splash-2019-Posters17:51 - 17:54
Poster
Nafise Eskandani MasouleTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
splash-2019-Posters17:54 - 17:57
Poster
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University
splash-2019-Posters17:57 - 18:00
Poster
Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
splash-2019-Posters18:00 - 18:02
Poster
Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
splash-2019-Posters18:02 - 18:05
Poster
Salim S. SalimUniversity of Manchester, Andy NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
splash-2019-Posters18:05 - 18:08
Poster
Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
splash-2019-Posters18:08 - 18:10
Poster
Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
splash-2019-Posters18:10 - 18:13
Poster
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18: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
splash-2019-Posters18:19 - 18:21
Poster
Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18: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
splash-2019-Posters18:27 - 18:30
Poster
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18:32 - 18:35
Poster
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
Link to publication
splash-2019-Posters18:35 - 18:38
Poster
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
Link to publication
splash-2019-Posters18:38 - 18:40
Poster
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
Link to publication
splash-2019-Posters18: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
splash-2019-Posters18:43 - 18:46
Poster
David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt
Link to publication
splash-2019-Posters18:46 - 18:49
Poster
Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria
Link to publication
splash-2019-Posters18:49 - 18:51
Poster
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
Link to publication
splash-2019-Posters18:51 - 18:54
Poster
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael BondOhio State University
Link to publication
splash-2019-Posters18:54 - 18:57
Poster
Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Link to publication
splash-2019-Posters18: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
splash-2019-Posters19:00 - 19:02
Poster
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
Link to publication
splash-2019-Posters19:02 - 19:05
Poster
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
Link to publication
splash-2019-Posters19: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
splash-2019-Posters19: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
splash-2019-Posters19:10 - 19:13
Poster
Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
Link to publication
splash-2019-Posters19:13 - 19:16
Poster
Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University
Link to publication
splash-2019-Posters19:16 - 19:19
Poster
Florian LatifiJohannes Kepler University Linz
splash-2019-Posters19:19 - 19:21
Poster
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
splash-2019-Posters19:21 - 19:24
Poster
Maarten P. SijmDelft University of Technology
splash-2019-Posters19: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
splash-2019-Posters19:27 - 19:30
Poster
Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft
Link to publication