* 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 Orso
icse-2018-Technical-Papers152768160000014:00 - 14:20
Talk
File Attached
icse-2018-Technical-Papers152768280000014:20 - 14:40
Talk
icse-2018-Technical-Papers152768400000014:40 - 15:00
Talk
Pre-print File Attached
icse-2018-Journal-first-papers152768520000015:00 - 15:20
Talk
Pre-print
icse-2018-Technical-Papers152768640000015:20 - 15:30
Talk