Login / Signup
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version).
Valentin Wüstholz
Oswaldo Olivo
Marijn J. H. Heule
Isil Dillig
Published in:
CoRR (2017)
Keyphrases
</>
query evaluation
regular expressions
query language
finite automata
semistructured data
regular path queries
finite state machines
tree automata
regular languages
deterministic finite automata
expressive power
monadic second order logic
information extraction
pattern matching