Repairing DoS Vulnerability of Real-World Regexes

Nariyoshi Chida, Tachio Terauchi

There has been much work on synthesizing and repairing regular expressions (regexes for short) from examples. These programming-by-example (PBE) methods help the users write regexe…