Twinning automata and regular expressions for string static analysis.

Luca Negrini Vincenzo Arceri Pietro Ferrara Agostino Cortesi

Published in: CoRR (2020)

Keyphrases

regular expressions
static analysis
dynamic analysis
pattern matching
finite automata
tree automata

semistructured data
query language
string matching
regular languages
xml schema
regular path queries

query evaluation
context free grammars
deterministic finite automata
finite state machines
data mining

databases
graph databases
integrity constraints
object oriented
high level