LeakChecker: Practical Static Memory Leak Detection for Managed Languages.

Dacong Yan, Guoqing Xu, Shengqian Yang, Atanas Rountev

Browse the full CGO paper archive.