Static detection of leaks in polymorphic containers.

David L. Heine, Monica S. Lam

Browse the full ICSE paper archive.