Fri 28 May 2021 03:05 - 03:25 at Blended Sessions Room 3 - 3.3.3. Program Repair: Automated Patching
Automated program repair is an emerging area which attempts to patch software errors and vulnerabilities. This paper, originally published as journal-first in TOSEM-2019-0146.R2 formulates and study a problem related to automated repair, namely automated patch transplantation. Our approach centers on identifying patch insertion points, as well as namespaces translation across programs via symbolic execution. Experimental results to eliminate five classes of errors highlight our ability to fix recurring vulnerabilities across various programs through transplantation. We report that in 20 of 24 fixing tasks involving eight application subjects mostly involving file processing programs, we successfully transplanted the patch and validated the transplantation through differential testing.
Thu 27 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:05 - 16:05 | 3.3.3. Program Repair: Automated PatchingTechnical Track / Journal-First Papers at Blended Sessions Room 3 +12h Chair(s): Antonia Bertolino CNR-ISTI | ||
15:05 20mPaper | Automated Patch TransplantationJournal-First Journal-First Papers Ridwan Salihin Shariffdeen National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Mingyuan Gao National University of Singapore, Abhik Roychoudhury National University of Singapore Link to publication DOI Pre-print Media Attached | ||
15:25 20mPaper | Synthesizing Object State Transformers for Dynamic Software UpdatesACM SIGSOFT Distinguished PaperACM Europe Council Best Paper Award Technical Track Zelin Zhao Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Tianxiao Gu Alibaba Group, Xiaoxing Ma Nanjing University Pre-print Media Attached | ||
15:45 20mPaper | Fast and Precise On-the-fly Patch Validation for AllTechnical Track Technical Track Pre-print Media Attached | ||
Fri 28 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
03:05 - 04:05 | 3.3.3. Program Repair: Automated PatchingJournal-First Papers / Technical Track at Blended Sessions Room 3 | ||
03:05 20mPaper | Automated Patch TransplantationJournal-First Journal-First Papers Ridwan Salihin Shariffdeen National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Mingyuan Gao National University of Singapore, Abhik Roychoudhury National University of Singapore Link to publication DOI Pre-print Media Attached | ||
03:25 20mPaper | Synthesizing Object State Transformers for Dynamic Software UpdatesACM SIGSOFT Distinguished PaperACM Europe Council Best Paper Award Technical Track Zelin Zhao Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Tianxiao Gu Alibaba Group, Xiaoxing Ma Nanjing University Pre-print Media Attached | ||
03:45 20mPaper | Fast and Precise On-the-fly Patch Validation for AllTechnical Track Technical Track Pre-print Media Attached | ||