刘振华

作品数：3被引量：6H指数：2
导出分析报告
供职机构：北方计算中心更多>>
发文主题：补丁比对二进制遗传算法函数调用图适应值函数更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》《计算机工程》更多>>
所获基金：国家自然科学基金国家部委资助项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于二进制补丁比对的软件输入数据自动构造被引量：2
《计算机工程与设计》2010年第14期3169-3173,共5页沈亚楠 赵荣彩 任华 王小芹 刘振华 张新宇 李鹏飞 
国家自然科学基金项目(60603017)
在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分...
关键词：软件二进制补丁比对 函数调用图 遗传算法 适应值函数 软件输入数据自动构造 
软件模糊测试中畸形输入数据的自动构造被引量：2
《计算机工程》2010年第17期23-24,27,共3页沈亚楠 赵荣彩 任华 王小芹 张新宇 刘振华 李鹏飞 
国家自然科学基金资助项目(60603017)
提出一种畸形输入数据自动构造算法。基于软件二进制补丁比对结果及目标函数调用图,设计适应值函数,对同一种群中所有个体进行评估,寻找优秀个体并遗传到子代中。实验结果表明,该算法能够生成到达或接近到达软件脆弱点的输入数据,简化...
关键词：软件二进制补丁比对 函数调用图 遗传算法 适应值函数 
二进制补丁比对中的指令归一化算法被引量：3
《计算机工程》2010年第15期46-48,共3页沈亚楠 赵荣彩 王小芹 任华 刘振华 张新宇 李鹏飞 
国家部委基金资助项目;国家自然科学基金资助项目(60603017)
针对软件二进制补丁分析过程,提出一种指令归一化算法,用于判别补丁前后的相应基本块内指令是否发生重排序。与常用的小素数法相比,该算法不受基本块内指令条数的限制,不会导致差异信息漏报,且效率较高、效果良好。初步实验证明,该算法...
关键词：软件补丁比对 指令重排列 小素数法 指令归一化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部