Precise analysis of string expressions (2003)

by Christensen AS, A Møller, Schwartzbach MI
Venue:Proceedings of theInternational Static Analysis Symposium