Path- and index-sensitive string analysis based on monadic second-order logic

Open Webpage

Takaaki Tateishi, Marco Pistoia, Omer Tripp

Published: 2011, Last Modified: 31 Jul 2025ISSTA 2011EveryoneRevisionsBibTeXCC BY-SA 4.0