[csol非法程序检测论文]一种基于CIL静态分析的C#程序缺陷检测方

本文作者：边攀；梁彬；石文昌；成功正常投稿发表论文到《计算机科学》2014年01期,引用请注明来源400期刊网！

【摘要】：通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性。提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法。采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状态缓存机制,能够大幅度提高检测效率;另外,为便于实施别名分析,还提出一种基于内存区域的变量表示方法。基于所述分析方法,开发了一个C#源代码缺陷静态检测系统,并对实际开源项目进行了检测。实验结果表明,本系统能够高效、准确地检测C#程序中常见类型的缺陷。
【论文正文预览】：1概述C#在编程语言排行中名列前茅,在各个方面,尤其是Web编程方面具有广泛的应用。而Web应用又常常是攻击者的攻击目标,因此迫切需要开发一种能够有效检测C#软件中代码缺陷的方法,以提高软件的安全性。一般地,缺陷检测分为静态检测和动态检测,相比而言,静态检测[3,5-7,10]不需
【文章分类号】：TP311.53
【稿件关键词】：静态分析缺陷检测别名分析CILC#
【参考文献】:

• 夏一民;罗军;张民选;;基于静态分析的安全漏洞检测技术研究[J];计算机科学;2006年10期
• 梁彬;侯看看;石文昌;梁朝晖;;一种基于安全状态跟踪检查的漏洞静态检测方法[J];计算机学报;2009年05期
• 孙茜;宫云战;杨朝红;;基于静态检测的程序安全漏洞测试[J];北京化工大学学报(自然科学版);2007年S1期
• 万绪江;班显秀;刘小东;万朔;;网络安全的防御方法和可行性研究[J];电脑编程技巧与维护;2010年08期
• 万绪江;班显秀;袁健;罗晶;万朔;;多普勒雷达DATA文件安全模型的设计[J];电脑编程技巧与维护;2010年20期
• 黄海滨;王艳芳;;计算机软件安全漏洞检测技术的应用研究[J];电脑与电信;2013年04期
• 王鹏;;计算机安全漏洞的动态检测[J];计算机光盘软件与应用;2013年21期
• 曾建光;;信息安全漏洞风险与会计年报的及时性[J];中国注册会计师;2011年10期
• 焦婉妮;吴开贵;;基于多核架构的安全漏洞分析平台研究[J];计算机科学;2011年10期
• 张林;曾庆凯;;软件安全漏洞的静态检测技术[J];计算机工程;2008年12期
• 宋明秋;王磊磊;于博;;基于生命周期理论的安全漏洞时间风险研究[J];计算机工程;2011年01期
• 安喜锋;李伟华;薛静;;操作系统安全机制复合行为模型掘取技术研究[J];计算机应用研究;2009年01期
• 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年
• 李怡康;赵婷;孙歆;颜立;;基于贝叶斯网络的静态源代码安全缺陷评价方法[A];2012年电力通信管理暨智能电网通信技术论坛论文集[C];2013年
• 刘春燕;基于规则的C/C++代码静态检测方法研究[D];大连理工大学;2010年
• 郑红波;嵌入式C代码审核系统设计与实现[D];大连理工大学;2010年
• 钟锐;基于隐马尔科夫模型的入侵检测系统研究[D];江西理工大学;2010年
• 陈楠;基于约束系统模型的缓冲区溢出漏洞检测系统[D];解放军信息工程大学;2010年
• 李志军;基于状态机的安全漏洞检查机制的设计与实现[D];西安电子科技大学;2010年
• 贺康;面向软件安全检查工具的符号表设计与实现[D];西安电子科技大学;2009年
• 聂世超;PHP程序静态分析系统的设计与实现[D];吉林大学;2011年
• 吕春燕;用于程序错误定位的运行路径聚类方法[D];大连海事大学;2011年
• 李晓南;基于数据综合分析的软件安全漏洞静态检测平台设计与实现[D];电子科技大学;2011年
• 谢龙;JSP跨站脚本漏洞静态检测技术的研究与实现[D];中山大学;2011年
• 肇劲松;;面向软件缺陷检测的静态分析技术[J];黑龙江科技信息;2009年02期
• 田硕;梁洪亮;;二进制程序安全缺陷静态分析方法的研究综述[J];计算机科学;2009年07期
• 杨朝红;刘海燕;肖庆;;基于扩展状态机的资源泄漏检测方法[J];装甲兵工程学院学报;2009年01期
• 陈琨,陈福民;基于.NET Remoting利用软件方法实现网络教学的探索[J];计算机应用;2003年08期
• 方春春;网络时代应用程序的开发工具和技术[J];福建电脑;2003年12期
• 楚王辉;宫一凡;陈云;;设计模式在游戏多人对战平台中的应用[J];电脑知识与技术;2008年26期
• 陶雷;;.NET多线程编程模式研究[J];哈尔滨金融高等专科学校学报;2008年04期
• 黄猛;唐琳;甄玉;;Visual C#创建用户控件[J];电脑编程技巧与维护;2009年11期
• 刘广亮;张东;张艳芳;郑江花;张伟忠;;.NET窗体继承与事件处理[J];山东科学;2010年01期
• 吴晓艳;刘洋;;基于三层架构的物流管理系统的设计与实现[J];科技信息;2010年23期
• 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
• 戴晓玮;张尧;向志海;;敲击扫描式桥梁缺陷检测车的数值模拟[A];北京力学会第15届学术年会论文摘要集[C];2009年
• 王晓光;;投资方案静态分析方法的改进[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集（第4卷）[C];1997年
• 白哥乐;杨朝红;王雅文;;多线程死锁静态检测方法研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
• 杨德美;杨学志;;基于独立分量分析高阶统计量的纺织品缺陷检测[A];全国第21届计算机技术与应用学术会议（CACIS·2010）暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
• 李兵;邓善熙;李焕然;;计算机图像处理技术应用于晶振元件缺陷检测[A];首届信息获取与处理学术会议论文集[C];2003年
• 邓昌宁;朱劲秋;王开波;;桥梁结构缺陷检测及功能评定的研究[A];中国公路学会2003年学术年会论文集[C];2003年
• 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
• 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年
• 刘松林;陈杰;郝向阳;西勤;;玻壳缺陷检测与几何量测视觉系统的设计与实现[A];2009年全国测绘仪器综合学术年会论文集[C];2009年
• 河北省石安高速公路管理处 高靖;企业偿债能力分析中存在的问题及对策[N];河北经济日报;2008年
• 通讯员　李克彬 庆华 王彪;市地税部门纳税评估获双赢[N];咸宁日报;2006年
• 宋昆;用机器视觉控制烟草质量[N];计算机世界;2007年
• 孙兆光;中国石油站场管网检测技术国内领先[N];中国石油报;2008年
• 孙兆光;管道公司站场管网检测技术达到国内领先水平[N];石油管道报;2008年
• 孙兆光;做管道发展的驱动器[N];中国石油报;2008年
• 夏 清;科技创新、智能化 许建筑业一个未来[N];中华建筑报;2006年
• 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2007年
• 樵世稳;山阳开展工业“质量效益年”活动[N];商洛日报;2008年
• 国泰君安 李质仙;纺织服装谨慎看待利好带来的影响[N];上海证券报;2008年
• 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
• 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
• 周虹伯;应用数据类型抽象建模提高软件静态测试精度的方法研究[D];北京邮电大学;2013年
• 周文;IC互连中的缺陷检测方法及缺陷对电路可靠性的影响[D];西安电子科技大学;2010年
• 陆向宁;基于主动红外热成像的倒装焊缺陷检测方法研究[D];华中科技大学;2012年
• 崔扬;图像检测技术在皮革缺陷检测中的应用研究[D];浙江大学;2004年
• 陆宁;基于主动红外热成像的倒装焊缺陷检测方法研究[D];华中科技大学;2012年
• 苏彩红;墙地砖质量自动检测技术的研究[D];华南理工大学;2004年
• 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
• 艾矫燕;基于计算机视觉的墙地砖颜色分类和缺陷检测研究[D];华南理工大学;2003年
• 谢永华;基于分形理论木材表面缺陷识别的研究[D];东北林业大学;2006年
• 周捷;用于金属表面缺陷检测的激光声表面波的研究[D];南京理工大学;2008年
• 韩皖贞;计算机视觉玻壳缺陷检测方法的研究[D];天津科技大学;2002年
• 王涛;基于ICT仿真技术的涡轮叶片数字样品缺陷检测研究[D];西北工业大学;2003年
• 滕飞;基于时间反转法的兰姆波在铝合金板材缺陷检测中的应用[D];哈尔滨理工大学;2009年
• 尹力;木材表面缺陷模式特征提取的图像处理方法研究[D];东北林业大学;2002年
• 宋志东;超声导波技术在管道缺陷检测中的研究[D];天津大学;2006年
• 史维芳;考虑非线性的雷达天馈系统稳定平台的有限元分析[D];合肥工业大学;2005年
• 林文树;应力波与超声波在木材内部缺陷检测中的对比研究[D];东北林业大学;2005年
• 曲昌荣;汽车车架的轻量化设计[D];西华大学;2006年

【稿件标题】：[csol非法程序检测论文]一种基于CIL静态分析的C#程序缺陷检测方法
【作者单位】：中国人民大学信息学院;
【发表期刊期数】：《计算机科学》2014年01期
【期刊简介】：本刊以其新颖、准确、及时为特色，突出动态性、综述性、学术性。报告特点是：“前沿科学”与“基础研究”相结合；“核心技术”与“支撑技术”相结合；“倡导”与“争鸣”相结合。广采百家之长，博览计算机世界之态势。重在突出文章的思想性，令人有开拓思路之......更多计算机科学杂志社(http://www.400qikan.com/qk/1234/)投稿信息
【版权所有人】：边攀；梁彬；石文昌；

更多科技类论文详细信息: [csol非法程序检测论文]一种基于CIL静态分析的C#程序缺陷检测方 论文代写
http://m.400qikan.com/lw-16345 论文代发

相关专题：偷偷拿掉保险套 思维训练