分析实际正则表达式匹配中的灾难性回溯行为
摘要：在Java中，我们对正则表达式匹配的工作原理开发了一个形式化视角，Java是正则表达式驱动匹配引擎的一个流行代表。特别地，我们定义了一个自动机模型，该模型涵盖了以正式方式研究此类匹配引擎所需的所有方面。基于此，我们提出了两种静态分析方法，它们接受一个正则表达式，并告诉我们是否存在一组字符串，使得Java风格的匹配运行时间呈指数增长。
作者：Martin Berglund, Frank Drewes, Brink van der Merwe
论文ID：1405.5599
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23