Report copyright - Path-sensitive Memory Leak Detectorrosaec.snu.ac.kr/meet/file/20090710d.pdftion, abstract interpretation, memory leaks, shape analysis. 1. Introduction A memory leak in a C program
Please pass captcha verification before submit form