Scalable String Analysis: An Experience Report

Kostyantyn Vorobyov

Appearing at SOAP: State of the Art in Program Analysis