资料下载
×
基于混合执行测试的静态内存泄漏警报的自动化确认方法
消耗积分:1 |
格式:rar |
大小:2.02 MB |
2017-12-29
分享资料个
内存泄漏是C/C++程序的一种常见的、难以发现的缺陷，一直困扰着软件开发者，尤其是针对长时间运行的程序或者系统软件，内存泄漏的后果十分严重．针对内存泄漏的检测，目前主要有静态分析和动态测试两种方法．动态测试实际运行程序具有较大开销，同时依赖测试用例的质量；静态分析技术及自动化工具已被学术界和工业界广泛运用于内存泄漏缺陷检测中，然而由于静态分析采取了保守的策略，其结果往往包含数量巨大的误报，需要通过进一步的人工确认来甄别误报．但人工确认静态分析的结果耗时且容易出错，严重限制了静态分析技术的实用性．提出一种基于混合执行测试的静态内存泄漏警报的自动化确认方法：首先，针对静态分析报告的目标程序中内存泄漏的静态警报，对目标程序进行控制流分析，并计算警报的可达性，形成制导信息；其次，基于警报制导信息对目标程序进行混合执行测试；最后，在混合执行测试过程中，监控追踪内存对象的状态，判定内存泄漏是否发生，对静态警报进行动态确认并分类．实验结果表明：该方法可对静态内存泄漏警报进行有效的分类，显著降低了人工确认的工作量。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
