use-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 引用 Paper Link