【摘 要】
：
内存泄漏是C/C＋＋程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系,DepartmentofComputerScience
【基金项目】
：
国家自然科学基金（61202148,61332015,61373078,61272245）, 国家重点研发计划（2016YFB1000802）
论文部分内容阅读
内存泄漏是C/C＋＋程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开销,同时依赖测试用例的质量;静态分析技术及自动化工具已被学术界和工业界广泛运用于内存泄漏缺陷检测中,然而由于静态分析采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步的人工确认来甄别误报.但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性.提出一种基
其他文献
针对高职电机修理实训教学存在的问题，应该采用模块实训法，在教学模式、实训内容、管理方式及其考核评分标准等方面探索改革的思路和方法，提出指导电机修理实训教学的具体方案。
移动应用中,广泛使用第三方库来帮助开发和增强应用功能.很多关于移动应用分析以及访问控制的研究工作,需要在分析之前对第三方库进行检测、过滤或者对其进行功能分类.当前,
应用最小二乘法，研究了建筑场地平整土方量的优化计算，并以实例说明该法是实用可行的。对于已有地形图的场地平整，这是十分有用的方法。
从《江苏省计算机应用能力考核系统》的结构、组成模块及其关键技术的介绍，结合作者参与开发的实践和多年使用的经验，较为深入地探讨了无纸化计算机应用能力考核系统的构建思想
通过引入适当的变换，采用直接积分的方法得到了Ｂｏｕｓｓｉｎｅｓｑ方程组的三族显示精确解。
对智能住宅小区的第二代自来水集中自动抄表系统进行了探讨。采用了超大规模集成电路作为主控芯片，充分利用了该芯片的多种功能特性，节省了大量的外围电路，并巧妙地将三线制采样
介绍了一种用VB工具软件开发集散型控制系统的方法，并用主从式通信控制方式解决了通信网络中的总线竞争问题。
曾备受争议的洪山城管的“眼神执法”，被武昌城管效仿。日前，武昌粮道街城管中队创造的“静默队列式”执法方式首次上路，20余名城管队员靠“围观不语”，纠正辖区多家商户出店经营行为。这种执法方式，也引发经营户和市民热议。（据9月20日《长江商报》） 近年来，城管执法所引发的一系列问题，始终都是社会关注的焦点。在这种背景下，所谓“眼神执法”及其衍生出的“铁桶阵执法”、“举牌卖萌执法”，乃至于新闻中提及的
目的观察沙库巴曲缬沙坦治疗慢性心力衰竭(CHF)疗效结果。方法将48例CHF病人随机分为观察组和对照组。对照组22例,予贝那普利或坎地沙坦治疗。观察组26例,予沙库巴曲缬沙坦治
近日，由中国国家教育发展研究中心等部门主办．浦东社会发展局承办的“建设终身学习体系与学习型社会”国际论坛在国际会议中心拉开帷幕。