收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于静态分析的软件安全检测技术研究

江雷  朱建平  
【摘要】:本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞检测中的应用,然后阐明了静态分析自身的局限性,最后介绍了当前静态分析的实现工具及其发展趋势。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 林景东;;浅谈放大电路的分析方法[J];中国科技信息;2011年15期
2 彭继慎;高爽;孟祥海;;三维螺旋极板电容传感器的静态分析与设计[J];电子元件与材料;2011年07期
3 陈锦富;张超;卢炎生;王环环;;构件栈缓冲区溢出漏洞检测系统的设计与实现[J];山东大学学报(理学版);2011年09期
4 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[J];计算机学报;2011年06期
5 李小花;孙建华;陈浩;;程序分析技术在SQL注入防御中的应用研究[J];小型微型计算机系统;2011年06期
6 梁洪亮;;恶意软件及分析[J];保密科学技术;2010年03期
7 高春风;赵建军;;基于执行序列的程序时间复杂度分析[J];计算机工程与设计;2011年08期
8 崔展齐;王林章;李宣东;;一种目标制导的混合执行测试方法[J];计算机学报;2011年06期
9 刘春燕;赖晓晨;周宽久;郑红波;;基于关系语法树的C/C++代码静态检测方法研究[J];计算机工程与设计;2011年08期
10 赵云山;宫云战;刘莉;肖庆;杨朝红;;提高路径敏感缺陷检测方法的效率及精度研究[J];计算机学报;2011年06期
11 韩伟;贺也平;;类Unix文件系统中TOCTTOU缺陷的静态分析方法[J];计算机研究与发展;2011年08期
12 冯江辉;王甜甜;苏小红;马培军;;基于K-最近邻的C克隆代码重构方法[J];智能计算机与应用;2011年03期
13 宋海龄;文伟平;;一个典型的Web安全评测工具的分析与改进[J];信息网络安全;2011年08期
14 郎平;郭东;;COSMOS在LED粘片机芯片拾取臂振动分析中的应用[J];电子工业专用设备;2011年05期
15 郑延金;;浅议地方台战役性报道[J];新闻传播;2011年05期
16 崔福耀;马雪燕;纪亿;;设置静态工作点的目的及其求法[J];农家科技;2011年04期
17 应凌云;杨轶;冯登国;苏璞睿;;恶意软件网络协议的语法和行为语义分析方法[J];软件学报;2011年07期
18 黄沛杰;杨铭铨;;代码质量静态度量的研究与应用[J];计算机工程与应用;2011年23期
19 吕君可;;.NET软件代码分析与保护[J];计算机系统应用;2011年07期
20 张校慧;王龙葛;;软件质量动态分析技术探讨[J];开封大学学报;2011年02期
中国重要会议论文全文数据库 前10条
1 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 王晓光;;投资方案静态分析方法的改进[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
3 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
4 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
5 苏娟;杜普选;崔欣;姜道勇;;铁路FSK信号静态分析系统研究[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
6 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
7 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
8 黄勇;李显方;;圆柱形梁弯曲和横向振动的精确分析[A];中国力学学会学术大会'2009论文摘要集[C];2009年
9 谢占功;李积彬;罗飞;阳宁;;深海潜水泵轴系的有限元分析研究[A];2009海峡两岸机械科技论坛论文集[C];2009年
10 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
2 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
3 张红;可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究[D];吉林大学;2008年
4 王祥根;自修改代码逆向分析方法研究[D];中国科学技术大学;2009年
5 袁志斌;基于模拟理论的模型检测研究[D];华中科技大学;2007年
6 夏一民;缓冲区溢出漏洞的静态检测方法研究[D];国防科学技术大学;2007年
7 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
8 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
9 牛飞亮;制度变迁中的城镇居民收入差距分析[D];中国人民大学;2000年
10 赵岭忠;基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前10条
1 史维芳;考虑非线性的雷达天馈系统稳定平台的有限元分析[D];合肥工业大学;2005年
2 曲昌荣;汽车车架的轻量化设计[D];西华大学;2006年
3 刘长国;全钢载重子午线轮胎稳态力学特性有限元分析[D];吉林大学;2006年
4 曹晋阳;构件化软件测试的静态分析及配置体系研究[D];西安理工大学;2007年
5 杨显宏;风车式空中车库的结构分析[D];西南交通大学;2005年
6 彭铁文;基于CAE技术的运动型多功能车整车结构静态与动态响应分析[D];中南大学;2004年
7 刘元林;阀口动压反馈直动式溢流阀的动态特性分析[D];辽宁工程技术大学;2005年
8 赵全亮;PZT驱动的微泵研制及特性分析[D];黑龙江大学;2006年
9 管铭;基于程序分析的软件安全漏洞检测技术研究[D];西北工业大学;2007年
10 陈新厂;大功率风力发电机组轮毂的结构强度分析及优化设计[D];重庆大学;2008年
中国重要报纸全文数据库 前10条
1 河北省石安高速公路管理处 高靖;企业偿债能力分析中存在的问题及对策[N];河北经济日报;2008年
2 中国社会科学院国际法研究中心研究员 林欣;论外逃腐败犯罪嫌疑人的引渡问题[N];法制日报;2005年
3 通讯员 李克彬 庆华 王彪;市地税部门纳税评估获双赢[N];咸宁日报;2006年
4 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2008年
5 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2007年
6 樵世稳;山阳开展工业“质量效益年”活动[N];商洛日报;2008年
7 国泰君安 李质仙;纺织服装谨慎看待利好带来的影响[N];上海证券报;2008年
8 石兴华 王明辉;市地税局“五抓五保”促增收[N];金昌日报;2008年
9 新华社记者 黄庭钧;谁来“解释”司法解释[N];新华每日电讯;2001年
10 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978