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

Open Webpage

Takaaki Tateishi, Marco Pistoia, Omer Tripp

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