陈建敏
- 作品数：3 被引量：12H指数：2
- 供职机构：解放军信息工程大学信息工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于符号化执行的Fuzzing测试方法被引量：5
- 2009年
- 设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据。提出一种改进的污点分析机制,对路径约束条件进行简化,提高了代码覆盖率和漏洞检测的效率。
- 陈建敏舒辉熊小兵
- 关键词：FUZZING测试代码插装污点分析
- MFC消息响应函数的逆向定位被引量：7
- 2009年
- 定位程序中各种关键函数的位置是软件逆向分析的一个重要工作。针对封装技术的不同设计特点采用不同的逆向分析方法,通过分析MFC程序的消息处理机制,提出了一种针对MFC程序消息处理函数地址的快速定位技术。最后,对该定位技术进行实例测试,结果表明,该技术能快速准确定位出MFC的目标函数,有效提高了程序逆向分析效率。
- 谢裕敏舒辉陈建敏熊小兵
- 关键词：微软基础类库消息处理
- 基于符号化执行的Fuzzing测试集动态生成技术研究
- 软件安全漏洞是当前网络信息安全中研究的核心问题之一,Fuzzing测试作为一种重要的软件安全漏洞检测方法,研究提高其测试过程中的代码覆盖率具有重要意义。论文将符号化执行和Fuzzing测试相结合,用以提高测试过程中的代码...
- 陈建敏
- 关键词：FUZZING测试动态污点分析程序切片
- 文献传递
