LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications