基于有界模型检测的Ｃ／Ｃ＋＋程序内存泄露检测. (Chinese)

Autor: 黄蔚, 洪玫, 杨秋辉, 郭鑫宇, 代声馨, 徐保平, 高婉玲, 赵鹤

Publikováno v: Application Research of Computers / Jisuanji Yingyong Yanjiu; Jun2016, Vol. 33 Issue 6, p1762-1766, 5p