Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists

Pranav Garg, P. Madhusudan, Gennaro Parlato

We propose a new approach to heap analysis through an abstract domain of automata, called automatic shapes. The abstract domain uses a particular kind of automata, called quantifie…