Banshee: A scalable constraint-based analysis toolkit (2005)

by J Kodumal, A Aiken
Venue:In Proceedings of the 12th International Static Analysis Symposium