文献详情
一种基于CIL静态分析的C#程序缺陷检测方法
外文标题：CIL Static Analysis Method for C# Program Defect Detection
文献类型：期刊
作者：边攀^[1]梁彬^[2]石文昌^[3]
机构：[1]中国人民大学信息学院
[2]中国人民大学信息学院
[3]中国人民大学信息学院

年：2014
期刊名称：计算机科学
卷：41
期：1
页码范围：220-224
增刊：增刊
收录情况：中文核心期刊要目总览中国科技核心期刊CSCD(CSCD:5063530)
所属部门：信息学院
语言：中文
ISSN：1002-137X
链接地址：http://d.g.wanfangdata.com.cn/Periodical_jsjkx201401041.aspx
DOI：10.3969/j.issn.1002-137X.2014.01.041
人气指数：13
浏览次数：13
基金：国家自然科学基金项目; 核高基重大专项
关键词：静态分析;缺陷检测;别名分析;CIL;C#
摘要：通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性.提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法.采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状态缓存机制,能够大幅度提高检测效率；另外,为便于实施别名分析,还提出一种基于内存区域的变量表示方法.基于所述分析方法,开发了一个C#源代码缺陷静态检测系统,并对实际开源项目进行了检测.实验结果表明,本系统能够高效、准确地检测C#程序中常见类型的缺陷.
作者其他论文



磁盘阵列环境下的取证目标系统重构.杨勇;石文昌;梁彬,等.计算机应用与软件.2014,64-67,74.
一种在Android中植入动态污点分析模块的方法.梁彬;游伟;王鹏,等.2013.
基于特征扫描的Windows回收站删除记录取证方法..0.
基于分离逻辑的并行程序性质验证方法.万良;石文昌;冯慧.计算机科学.2013,40(10),148-154.
基于TPM构建可信Hash树.周洪伟;石文昌.小型微型计算机系统.2011,32(8),1556-1560.