Derivative-Based Diagnosis of Regular Expression Ambiguity-Reference-Cited by-同舟云学术

Derivative-Based Diagnosis of Regular Expression Ambiguity

Published:2017-08 Issue:05 Volume:28 Page:543-561
ISSN:0129-0541
Container-title:International Journal of Foundations of Computer Science
language:en
Short-container-title:Int. J. Found. Comput. Sci.

Author:

Sulzmann Martin¹,Lu Kenny Zhuo Ming²

Affiliation:

1. Faculty of Computer Science and Business Information Systems, Karlsruhe University of Applied Sciences, Moltkestrasse 30, 76133 Karlsruhe, Germany

2. School of Information Technology, Nanyang Polytechnic, 180 Ang Mo Kio Avenue 8, Singapore 569830, Singapore

Abstract

Regular expressions are often ambiguous. We present a novel method based on Brzozowski’s derivatives to aid the user in diagnosing ambiguous regular expressions. We introduce a derivative-based finite state transducer to generate parse trees and minimal counter-examples. The transducer can be easily customized to either follow the POSIX or Greedy disambiguation policy and based on a finite set of examples it is possible to examine if there are any differences between POSIX and Greedy.

Publisher

World Scientific Pub Co Pte Lt

Subject

Computer Science (miscellaneous)

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0129054117400068

Reference5 articles.

1. Partial derivatives of regular expressions and finite automaton constructions

2. From regular expressions to deterministic automata

3. Ambiguity in Graphs and Expressions

4. Derivatives of Regular Expressions

5. Regular Expressions and State Graphs for Automata

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Improving Developers’ Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies;2023 IEEE Symposium on Security and Privacy (SP);2023-05

2. Improving Developers' Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies;P IEEE S SECUR PRIV;2023

3. Exploiting input sanitization for regex denial of service;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

4. A deterministic parsing algorithm for ambiguous regular expressions;Acta Informatica;2020-02-04

5. Solving of Regular Equations Revisited;Theoretical Aspects of Computing – ICTAC 2019;2019