退出
我的积分:
中文文献批量获取
外文文献批量获取
张静; 黄志球; 沈国华; 喻垚慎; 艾磊;
南京航空航天大学计算机科学与技术学院 江苏 南京 211106;
南京航空航天大学高安全系统的软件开发与验证技术工业和信息化部重点实验室 江苏 南京 211106;
内存泄漏; 静态分析; 指针分析; 值流分析;
机译:Melton:适用于C程序的实用且精确的内存泄漏检测工具
机译:使用全稀疏值流分析静态检测内存泄漏
机译:基于语义的C程序内存泄漏检测
机译:静态分析二进制代码以检测内存泄漏。
机译:C程序中的逼近循环不足以提供快速反例检测
机译:C程序的安全内存泄漏修复
机译:使用C程序的诊断语料库来评估静态分析工具的缓冲区溢出检测。
机译:内存泄漏分析设备,内存泄漏分析系统,内存泄漏分析方法和内存泄漏分析程序
机译:内存泄漏检测方法,内存泄漏检测程序和内存泄漏检测设备
机译:内存泄漏检测程序,内存泄漏检测方法和内存泄漏检测装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。