We introduce RFixer, a tool for repairing complex regular expressions using examples and only consider regular expressions without non-regular operators (e.g., negative lookahead). Given an incorrect regular expression and sets of positive and negative examples, RFixer synthesizes the closest regular expression to the original one that is consistent with the examples. Automatically repairing regular expressions requires exploring a large search space because practical regular expressions: i) are large, ii) operate over very large alphabets—e.g., UTF-16 and ASCII—and iii) employ complex constructs—e.g., character classes and numerical quantifiers. RFixer's repair algorithm achieves scalability by taking advantage of structural properties of regular expressions to effectively prune the search space, and it employs satisfiability modulo theory solvers to efficiently and symbolically explore the sets of possible character classes and numerical quantifiers. RFixer could successfully compute minimal repairs for regular expressions collected from a variety of sources, whereas existing tools either failed to produce any repair or produced overly complex repairs.
Fri 25 OctDisplayed time zone: Beirut change
11:00 - 12:30 | Repair & TransformationOOPSLA at Templars Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder | Amazon | ||
11:00 22mTalk | Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts OOPSLA Shuai Wang Hong Kong University of Science and Technology, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich DOI | ||
11:22 22mTalk | Automatic Repair of Regular Expressions OOPSLA Rong Pan University of Texas at Austin, Qinheping Hu University of Wisconsin, Madison, Gaowei Xu University of Wisconsin Madison, Loris D'Antoni University of Wisconsin Madison DOI Pre-print | ||
11:45 22mTalk | Getafix: Learning to Fix Bugs Automatically OOPSLA Johannes Bader Facebook, Andrew Scott Facebook, Michael Pradel University of Stuttgart, Satish Chandra Facebook DOI Pre-print | ||
12:07 22mTalk | IntelliMerge: A Refactoring-Aware Software Merging Technique OOPSLA Bo Shen Peking University, Wei Zhang Peking University, Haiyan Zhao Peking University, Guangtai Liang Huawei Technologies Co. Ltd, Zhi Jin Peking University, Qianxiang Wang Huawei Technologies Co. Ltd DOI |