Book chapter · Conference paper
A Parametric Abstract Domain for Lattice-Valued Regular Expressions
We present a lattice-valued generalization of regular expressions as an abstract domain for static analysis. The parametric abstract domain rests on a generalization of Brzozowski derivatives and works for both finite and infinite lattices. We develop both a co-inductive, simulation algorithm for deciding ordering between two domain elements and a widening operator for the domain.
Finally we illustrate the domain with a static analysis that analyses a communicating process against a lattice-valued regular expression expressing the environment’s network communication.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2016 |
Pages: | 338-360 |
Proceedings: | 23rd International Symposium on Static AnalysisStatic Analysis Symposium |
Series: | Lecture Notes in Computer Science |
ISBN: | 3662534126 , 3662534134 , 9783662534120 and 9783662534137 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter and Conference paper |
DOI: | 10.1007/978-3-662-53413-7_17 |
ORCIDs: | Midtgaard, Jan , Nielson, Flemming and Nielson, Hanne Riis |