SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code | IEEE Conference Publication | IEEE Xplore