刘杰
- 作品数:7 被引量:6H指数:2
- 供职机构:中国人民解放军信息工程大学更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术政治法律理学更多>>
- 符号执行中的循环依赖分析方法被引量:2
- 2012年
- 符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。
- 刘杰曹琰魏强彭建山
- 日本网络空间作战力量浅析被引量:1
- 2018年
- 近年来,随着信息技术的发展,网络普及率越来越高,在不知不觉中网络已经成为我们社会及生活中信息传递、共享的必需品。争夺网络的控制权,保证信息的安全显得至关重要,因此网络是各国竞争的又一重要领域,成为继陆海空天之后的"第五战场"。日本作为信息技术领域的先进国家之一,计划在2020年之前成立新的联合部门——网络·宇宙空间联合组织,以加强网络及宇宙空间领域的防卫能力,(1)这是日本在继2014年成立专门的网络部队网络防卫队之后的又一重大行动。根据职能划分,网络·宇宙空间部队将与陆上自卫队、海上自卫队、航空自卫队并列,成为日本第四大部队。对此,我们有必要充分认清日本防卫省、自卫队的网络空间作战力量发展现状及特点,对其进行针对性剖析和研究。
- 刘杰
- 关键词:作战力量信息技术领域陆上自卫队宇宙空间防卫能力网络部队
- 面向热点代码的路径搜索方法研究
- 2013年
- 程序测试研究表明代码安全缺陷聚集于热点代码。提出一种面向热点代码的路径搜索方法,在程序CFG(controlflow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例。实验结果表明,与DFS(depth-firstsearch)和BFS(best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间。
- 刘杰王嘉捷任栋王清贤
- 关键词:最短路径
- 软件脆弱性检测技术
- 软件脆弱性成为计算机系统及网络信息安全中一个极大的安全隐患.重点阐述了软件脆弱性检测中测试数据集构造方法、覆盖导向测试方法、脆弱性触发方法及二进制程序分析平台的研究进展,并指出动态和静态检测技术的集成和融合(如动态符号执...
- 刘杰欧阳永基尹中旭王清贤
- 关键词:软件测试脆弱性二进制程序
- 文献传递
- 基于污点指针的二进制代码缺陷检测被引量:3
- 2012年
- 污点指针严重影响二进制代码数据流和控制流的安全。为此,提出一种二进制代码缺陷检测方法。引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据。在Linux系统下实现ELF二进制代码缺陷检测工具,测试结果表明,该方法能降低测试用例生成数量,并发现Linux系统工具的1个虚函数调用控制缺陷和2个指针内存破坏缺陷。
- 刘杰王嘉捷欧阳永基王清贤
- 污点分析中的隐式污染检测方法
- 2012年
- 隐式流对于污点分析方法的准确性有重要影响。为此,提出一种基于程序单静态赋值形式的隐式流检测方法。通过生成控制流图的必经节点树检测控制依赖关系,计算必经边界发现程序汇合点,引入虚拟取值函数获得汇合点变量的多个赋值,从而判别变量取值分歧并标记污点属性。与人工审计结果的对比证明,该方法能够诊断2个污点分析工具的污染缺失和污染过度问题,有效降低隐式流分析的误报率和漏报率。
- 刘杰张普含尹中旭宋晓龙
- 关键词:污点分析
- 基于危险函数逼近的漏洞检测技术研究
- 当前漏洞检测存在测试数据有效性低的问题.本文提出一种基于程序内部危险函数覆盖的漏洞测试技术,依据漏洞污点传播模型,主要研究危险函数识别,包含危险函数的执行路径搜索,及危险函数逼近技术,动态引导遍历程序内部危险函数,提高漏...
- 刘杰王嘉捷魏强王清贤
- 关键词:漏洞检测技术
- 文献传递