Context- and path-sensitive memory leak detection (0)

by Yichen Xie, Alex Aiken
Venue:ACM SIGSOFT Software Engineering Notes