机译:Melton:适用于C程序的实用且精确的内存泄漏检测工具
Department of Computer Science and Technology, University of Science and Technology of China, Anhui 230027, China;
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;
memory leak; bug finding; static analysis; symbolic execution;
机译:使用容器分析的Java软件的精确内存泄漏检测
机译:Java程序中内存泄漏对象的检测和测量方法
机译:实用内存泄漏检测使用防护valee-fiOW分析
机译:使用容器分析的Java软件的精确内存泄漏检测
机译:静态内存泄漏检测。
机译:开发一种简单实用的筛选工具用于检测老年人的嗜睡者:Bushehr老年健康计划
机译:使用容器分析的Java软件的精确内存泄漏检测
机译:橡树岭国家实验室液体低浓度废水系统(活动罐)的泄漏测试计划。第1卷,监管背景和计划方法;第2卷,方法,协议和时间表;第3卷,ORNL / LT-823Dp差压泄漏检测方法的评估:环境恢复计划