首页> 中文期刊>中国科学技术大学学报 >一种针对可执行代码的内存泄漏静态分析方案

一种针对可执行代码的内存泄漏静态分析方案

     

摘要

针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.

著录项

  • 来源
    《中国科学技术大学学报》|2009年第2期|189-195203|共8页
  • 作者单位

    中国科学技术大学计算机科学技术系,安徽合肥,230027;

    中国科学技术大学计算机科学技术系,安徽合肥,230027;

    中国科学技术大学计算机科学技术系,安徽合肥,230027;

    中国科学技术大学计算机科学技术系,安徽合肥,230027;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 TP371;
  • 关键词

    可执行代码; 模型检测; 内存泄漏;

  • 入库时间 2023-07-25 17:27:20

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号