Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)

Antonina Nepeivoda, Ilya Afanasyev

We introduce a string-interval abstract domain, where string intervals are characterized by systems of word equations (encoding lower bounds on string values) and word disequalitie…