value-flow graph

SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Detecting memory leak at industrial scale is still not well addressed, in spite of the tremendous effort from both industry and …
PDF Cite Paper Link