* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 14:40 - 15:00 at H1 room - Software Repair II Chair(s): Alessandro Orso

Static analysis tools have demonstrated effectiveness at finding bugs in real world code. Such tools are increasingly widely adopted to improve software quality in practice. Automated Program Repair (APR) has the potential to further cut down on the cost of improving software quality. However, there is a disconnect between these effective bug-finding tools and APR. Recent advances in APR rely on test cases, making them inapplicable to newly discovered bugs or bugs difficult to test for deterministically (like memory leaks). Additionally, the quality of patches generated to satisfy a test suite is a key challenge. We address these challenges by adapting advances in practical static analysis and verification techniques to enable a new technique that finds and then accurately fixes real bugs without test cases. We present a new automated program repair technique using Separation Logic. At a high-level, our technique reasons over semantic effects of existing program fragments to fix faults related to general pointer safety properties: resource leaks, memory leaks, and null dereferences. The procedure automatically translates identified fragments into source-level patches, and verifies patch correctness with respect to reported faults. In this work we conduct the largest study of automatically fixing undiscovered bugs in realworld code to date. We demonstrate our approach by correctly fixing 55 bugs, including 11 previously undiscovered bugs, in 11 real-world projects.

Slides (talk.pdf)2.40MiB

Wed 30 May

icse-2018-Technical-Papers
14:00 - 15:30: Technical Papers - Software Repair II at H1 room
Chair(s): Alessandro OrsoGeorgia Tech
icse-2018-Technical-Papers152768160000014:00 - 14:20
Talk
Sergey MechtaevNational University of Singapore, Manh-Dung Nguyen, Yannic NollerHumboldt-Universit├Ąt zu Berlin, Lars GrunskeHumboldt-Universit├Ąt zu Berlin, Abhik RoychoudhuryNational University of Singapore
File Attached
icse-2018-Technical-Papers152768280000014:20 - 14:40
Talk
Sonal MahajanUniversity of Southern California, USA, Negarsadat Abolhassani, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
icse-2018-Technical-Papers152768400000014:40 - 15:00
Talk
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
Pre-print File Attached
icse-2018-Journal-first-papers152768520000015:00 - 15:20
Talk
Le Dinh Xuan BachSingapore Management University, Singapore, Ferdian Thung, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University
Pre-print
icse-2018-Technical-Papers152768640000015:20 - 15:30
Talk