Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Thu 26 Aug 2021 09:00 - 09:10 - Testing—Program Repair 1 Chair(s): Santanu Dash
Thu 26 Aug 2021 21:00 - 21:10 - Testing—Program Repair 1 Chair(s): Lingming Zhang

Automated program repair (APR) is an emerging technology which seeks to automatically rectify program errors and vulnerabilities. Repair techniques are driven by a correctness criterion which is often in the form of a test-suite. Such test-based repair may produce over-fitting patches, where the patches produced fail on tests outside the test-suite driving the repair. In this article, which is originally published as journal-first in TOSEM, we presents a repair method which fixes program vulnerabilities without the need for a voluminous test-suite. Given a vulnerability as evidenced by an exploit, the technique extracts a constraint representing the vulnerability with the help of sanitizers. The extracted constraint serves as a proof obligation which our synthesized patch should satisfy. Our technique then localizes suspicious locations by flow-based static analysis, without the need for high-quality test suite. The proof obligation is met by propagating the extracted constraint to the suspicious locations. Finally, on a suspicious location, our technique synthesizes patches which ensure that the constraint is satisfied for all possible inputs. We believe that our work presents a way forward for the overfitting problem in program repair, by generalizing observable hazards/vulnerabilities (as constraint) from a single failing test or exploit.

Thu 26 Aug

Displayed time zone: Athens change

09:00 - 10:00
Testing—Program Repair 1Research Papers / Journal First +12h
Chair(s): Santanu Dash University of Surrey
09:00
10m
Paper
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
Journal First
Xiang Gao National University of Singapore, Bo Wang Peking University, China, Gregory J. Duck National University of Singapore, Ruyi Ji Peking University, Yingfei Xiong Peking University, Abhik Roychoudhury National University of Singapore
09:10
10m
Paper
Context-Aware and Data-Driven Feedback Generation for Programming AssignmentsArtifacts AvailableArtifacts Reusable
Research Papers
Dowon Song Korea University, Woosuk Lee Hanyang University, Hakjoo Oh Korea University
DOI
09:20
10m
Paper
A Syntax-Guided Edit Decoder for Neural Program RepairArtifacts Available
Research Papers
Qihao Zhu Peking University, Zeyu Sun Peking University, Yuan-An Xiao Peking University, Wenjie Zhang Peking University, Kang Yuan Stony Brook University, Yingfei Xiong Peking University, Lu Zhang Peking University
DOI
09:30
30m
Live Q&A
Q&A (Testing—Program Repair 1)
Research Papers

21:00 - 22:00
Testing—Program Repair 1Research Papers / Journal First
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
21:00
10m
Paper
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
Journal First
Xiang Gao National University of Singapore, Bo Wang Peking University, China, Gregory J. Duck National University of Singapore, Ruyi Ji Peking University, Yingfei Xiong Peking University, Abhik Roychoudhury National University of Singapore
21:10
10m
Paper
Context-Aware and Data-Driven Feedback Generation for Programming AssignmentsArtifacts AvailableArtifacts Reusable
Research Papers
Dowon Song Korea University, Woosuk Lee Hanyang University, Hakjoo Oh Korea University
DOI
21:20
10m
Paper
A Syntax-Guided Edit Decoder for Neural Program RepairArtifacts Available
Research Papers
Qihao Zhu Peking University, Zeyu Sun Peking University, Yuan-An Xiao Peking University, Wenjie Zhang Peking University, Kang Yuan Stony Brook University, Yingfei Xiong Peking University, Lu Zhang Peking University
DOI
21:30
30m
Live Q&A
Q&A (Testing—Program Repair 1)
Research Papers