检索结果-内蒙古大学图书馆

作者：林锦滨广东技术师范大学

学位级别：硕士

来源：评论

学校读者我要写书评

暂无评论

版本间语义分析制导的程序逆向静态分析

版本间语义分析制导的程序逆向静态分析

引用

作者：林锦滨中国科学技术大学

学位级别：硕士

软件的规模和复杂度越来越高,大大提高了软件漏洞挖掘的难度。人们知道软件的版本更新指示了旧版本中存在某些缺陷或修改,如何开发自动化的程序逆向分析工具用来辅助软件漏洞挖掘已经成为重要的研究热点。传统的补丁比对工具只是简单的... 详细信息

软件的规模和复杂度越来越高,大大提高了软件漏洞挖掘的难度。人们知道软件的版本更新指示了旧版本中存在某些缺陷或修改,如何开发自动化的程序逆向分析工具用来辅助软件漏洞挖掘已经成为重要的研究热点。传统的补丁比对工具只是简单的逆向代码文本比对,提供的信息量有限。本文使用版本间语义修改制导的程序逆向静态分析方法,在Phoenix编译架构上研制了一个可执行程序逆向分析的工具原型“ReverseSA”,实现了对.Net平台可执行程序逆向提升到IR(中间语言)的版本间语义修改识别。使用程序切片技术得到语义修改识别区域的语义依赖区域;采用符号执行和约束求解技术在Phoenix编译架构上实现了对IR的语义解释执行,自动产生测试例输入。同时还提供了绘制程序的过程内控制流图,过程间函数调用图,函数的程序依赖图的功能。具备对一定规模程序的符号执行主动安全性测试的能力, ReverseSA被用于较大规模的是中国移动推出的“综合通信服务”即“飞信”客户端可执行的程序两个版本。实验结果飞信的两个版本的主程序***的函数修改率为11.098%,新函数增加率为24.402%,新版本的函数个数为7028个;进行实验的19个可执行程序文件中只有10个文件的代码发生了改变,大部分修改率和增加率不大。结果表明ReverseSA可以快速地进行版本间的补丁分析,为发现漏洞提供优先的着力点,进一步的符号执行分析能提供一定程度的自动化安全性测试能力。

关键词：逆向工程符号执行补丁分析 .Net程序切片静态分析 Phoenix

来源：评论

学校读者我要写书评

暂无评论

基于有限回溯符号执行的软件疑似缺陷的自动验证

引用

清华大学学报（自然科学版） 2009年第S2期49卷 2222-2227页

作者：程绍银蒋凡林锦滨唐艳武中国科学技术大学计算机科学与技术学院合肥230027

人工方式验证包含大量误报的软件疑似缺陷集,耗时费力,难以发现真实的缺陷。本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。该方法首先查找可能的触发软件缺陷的执行路径片段,然后对其进行符号执行获得路径条件,最后结... 详细信息

人工方式验证包含大量误报的软件疑似缺陷集,耗时费力,难以发现真实的缺陷。本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。该方法首先查找可能的触发软件缺陷的执行路径片段,然后对其进行符号执行获得路径条件,最后结合路径条件和缺陷触发条件以进行缺陷自动验证。通过对OPENSSL程序进行缓冲区溢出类缺陷的分析,验证了方法的有效性。

关键词：软件疑似缺陷自动验证静态分析符号执行约束求解

来源：评论

学校读者我要写书评

暂无评论

执行路径建模进程化代码分析

引用

计算机工程 2010年第9期36卷 68-69,72页

作者：林锦滨蒋凡中国科学技术大学计算机科学与技术学院合肥230027

针对符号执行分析方法路径资源消耗过大的问题,提出执行路径建模进程化的过程内分析优化方法。结合基于惰性初始化的对象建模方法,以Phoenix编译器中间表示层的代码作为直接分析对象,实现一个检测C代码漏洞的工具原型。使用该工具验证了... 详细信息

针对符号执行分析方法路径资源消耗过大的问题,提出执行路径建模进程化的过程内分析优化方法。结合基于惰性初始化的对象建模方法,以Phoenix编译器中间表示层的代码作为直接分析对象,实现一个检测C代码漏洞的工具原型。使用该工具验证了Openssl和Apache软件的已知漏洞代码,并在wget的1.11.4版本中发现一个"拒绝服务"漏洞。

关键词：符号执行静态分析 C代码漏洞检测

来源：评论

学校读者我要写书评

暂无评论

L3PTN网络中LTE数据的封装过程及桥接技术

引用

中国新通信 2013年第21期15卷 99-100页

作者：林锦滨广东南方电信规划咨询设计院有限公司

本文主要描述在L3PTN网络承载LTE的解决方案中,LTE数据的流向及数据包的封装/解封装过程,并对其关键技术—"L2L3VPN桥接技术"的技术原理进行介绍。

关键词： LTE承载网 L3PTN L2L3VPN桥接数据封装

来源：评论

学校读者我要写书评

暂无评论

新时代如何抓好高速公路企业员工的思想政治工作

引用

中国航班 2022年第21期 235-238页

作者：林锦滨广东罗阳高速公路有限公司

新时代高速公路抓好员工思想政治工作是践行党的理念的有效途径，也是促进国家经济建设与企业发展的重要环节。随着新时代文化思潮的冲击，员工的思想政治工作必须在原有的基础上改善与创新，确保员工的素质逐步提升。新时代高速公路管... 详细信息

新时代高速公路抓好员工思想政治工作是践行党的理念的有效途径，也是促进国家经济建设与企业发展的重要环节。随着新时代文化思潮的冲击，员工的思想政治工作必须在原有的基础上改善与创新，确保员工的素质逐步提升。新时代高速公路管理层必须充分重视思想政治工作的意义，正确认识思想政治工作的重要程度，将其全面贯穿于各项管理工作中。为促进高速公路管理层有效落实员工思想政治工作，笔者对于部分高速公路思想政治工作现状展开了分析，进而围绕现状详细论述如何抓好高速公路企业员工思想政治工作，以期提升研究策略的针对性与可行性。

关键词：新时代高速公路管理思想政治工作

来源：评论

学校读者我要写书评

暂无评论

软件演进驱动的按需自动测试

引用

中国科学技术大学学报 2010年第5期40卷 505-512页

作者：王嘉捷蒋凡程绍银张晓菲林锦滨中国科学技术大学计算机科学技术系安徽合肥230027 中国信息安全测评中心北京100085

为了及时彻底地测试演进着的软件,提出了软件演进驱动的按需自动测试算法.首先,根据软件演进时源文件的文本更新,通过控制与数据依赖分析识别受影响的语义变化区域,再结合代码安全缺陷分析按需构造精简测试流图.接着,按需符号执行图中... 详细信息

为了及时彻底地测试演进着的软件,提出了软件演进驱动的按需自动测试算法.首先,根据软件演进时源文件的文本更新,通过控制与数据依赖分析识别受影响的语义变化区域,再结合代码安全缺陷分析按需构造精简测试流图.接着,按需符号执行图中各条路径且缺陷关联路径优先,主动探测和求解缺陷触发条件以排除误报,在路径分支点按需克隆执行环境以避免路径前缀的重复执行,并及时求解路径条件以剪除不可行路径.最终,自动生成针对软件更新实现路径覆盖的精简测试例集合.目前已实现了测试工具原型,用其测试了多个开源软件,发现了OpenSSL代码中的真实缺陷.

关键词：软件演进按需符号执行测试生成缺陷发现静态分析回归测试

来源：评论

学校读者我要写书评

暂无评论

符号执行技术研究

符号执行技术研究

引用

第24次全国计算机安全学术交流会

作者：林锦滨张晓菲刘晖中国信息安全测评中心中国科学技术大学

本文首先介绍了符号执行的过程内分析和程序全局分析的基本原理;接着介绍了其中的路径状态空间爆炸、复杂结构语义和操作语义建模及程序全局分析这三个关键技术的难点及相关研究;最后介绍了一些使用符号执行技术开发的研究型工具。本文... 详细信息

本文首先介绍了符号执行的过程内分析和程序全局分析的基本原理;接着介绍了其中的路径状态空间爆炸、复杂结构语义和操作语义建模及程序全局分析这三个关键技术的难点及相关研究;最后介绍了一些使用符号执行技术开发的研究型工具。本文从基本原理到技术难点,从理论基础到工具,系统全面地展现了符号执行技术。

关键词：符号执行静态分析源代码安全

来源：评论

学校读者我要写书评

暂无评论

程序符号执行中的数组分析

引用

长江大学学报（自科版）（上旬） 2010年第1期7卷 225-228页

作者：翁子盛王宝生林锦滨国防科学技术大学继续教育学院湖南长沙410073

符号执行中复杂结构语义的建模决定了其分析结果的精度。通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG。试验表明,该方法可以准确地解释复杂的数组对象,并自动... 详细信息

符号执行中复杂结构语义的建模决定了其分析结果的精度。通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG。试验表明,该方法可以准确地解释复杂的数组对象,并自动产生测试例输入。

关键词：符号执行单元测试数组语义建模

来源：评论

学校读者我要写书评

暂无评论

软件疑似缺陷的自动验证

软件疑似缺陷的自动验证

引用

第二届信息安全漏洞分析与风险评估大会

作者：程绍银蒋凡林锦滨唐艳武中国科学技术大学计算机科学与技术学院安徽合肥 230027

人工方式验证包含大量误报的软件疑似缺陷集,耗时费力,难以发现真实的缺陷。本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。该方法首先查找可能的触发软件缺陷的执行路径片段,然后对其进行符号执行获得路径条件,最后结合路径条件和缺陷触发条件以进行缺陷自动验证。通过对oenssl程序的初步测试,验证了方法的有效性。

关键词：软件疑似缺陷自动验证静态分析有限回溯符号执行约束求解

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：