任华
- 作品数：8 被引量：13H指数：3
- 供职机构：北方计算中心更多>>
- 发文基金：国家自然科学基金国家部委资助项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于精确数组数据流分析框架的通信优化
- 2006年
- 为了提高消息传递型多处理器的性能,优化处理器间的通信对于并行化编译器至关重要。介绍了建立在精确数组数据流分析基础上的通信优化技术。通过优化,减少了通信次数,降低了通信代价。最后通过一个实例说明,在一定计算划分下结合精确数据流分析实现通信比仅仅依据计算划分实现通信能更有效地减少通信量。
- 任华赵荣彩张平孟然
- 关键词：并行化编译器
- 软件模糊测试中遗传杂交算法的研究被引量：2
- 2009年
- 利用遗传算法的导向性原理,可以不断寻找能够触发软件异常的测试用例。杂交过程是遗传算法中重要过程之一,如何定义父代中的优秀基因并遗传到子代,对寻找算法搜索空间的最优解非常重要。定义了重要基因及优良选择的概念并提出相应杂交算法。在Windows RPC测试中发现,该算法能够寻找到种群中优良基因并不断遗传到子代中,为自动构造软件输入数据,触发软件异常提供支持。
- 沈亚楠赵荣彩王小芹任华庞建民李大伟
- 关键词：遗传算法
- 优化的数组数据流分析技术的实现被引量：1
- 2008年
- 精确的数组数据流分析是并行编译技术中的重要步骤。用终写树算法表示精确的数组数据流分析仅针对一对读写引用。该文研究并在工程上实现了终写树交叉算法,以分析多个写引用与公共读引用之间的精确数据依赖关系,减少了冗余信息并使精确数组数据流分析技术得到一定程度的优化。
- 姜凡庞建民赵荣彩任华
- 基于二进制补丁比对的软件输入数据自动构造被引量：2
- 2010年
- 在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分析人员构造软件畸形数据的过程,为其快速触发软件脆弱点创造了条件。
- 沈亚楠赵荣彩任华王小芹刘振华张新宇李鹏飞
- 关键词：函数调用图遗传算法适应值函数
- 软件模糊测试中畸形输入数据的自动构造被引量：2
- 2010年
- 提出一种畸形输入数据自动构造算法。基于软件二进制补丁比对结果及目标函数调用图,设计适应值函数,对同一种群中所有个体进行评估,寻找优秀个体并遗传到子代中。实验结果表明,该算法能够生成到达或接近到达软件脆弱点的输入数据,简化逆向分析人员构造软件畸形数据的过程。
- 沈亚楠赵荣彩任华王小芹张新宇刘振华李鹏飞
- 关键词：函数调用图遗传算法适应值函数
- 基于规范生成的文件模糊测试被引量：3
- 2010年
- 为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法。基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型。在规范描述下生成不同类型文件,然后对每类文件进行变异模糊测试,有效地减少了大量无效测试。实际测试中,已经验证3个已公开漏洞并发现两个未公开漏洞,表明了该算法的有效性。
- 沈亚楠赵荣彩王小芹任华张新宇鲁海军李鹏飞
- 基于文件规范描述的文件模糊测试被引量：3
- 2010年
- 针对传统文件测试效率不高、存在功能遗漏的缺点,提出一种基于文件规范描述的文件模糊测试方法。给出基于文件规范的文件推导规则,用于描述文件中结构的组织形式、结构与结构之间的依赖关系,生成同一格式下不同类型的文件并对每类文件进行模糊测试。实验结果表明,该方法能有效找到文件处理软件的脆弱点。
- 沈亚楠赵荣彩王小芹任华鲁海军张新宇李鹏飞
- 二进制补丁比对中的指令归一化算法被引量：3
- 2010年
- 针对软件二进制补丁分析过程,提出一种指令归一化算法,用于判别补丁前后的相应基本块内指令是否发生重排序。与常用的小素数法相比,该算法不受基本块内指令条数的限制,不会导致差异信息漏报,且效率较高、效果良好。初步实验证明,该算法减少了人工分析差异信息的工作量,可以帮助逆向分析人员快速定位软件差异。
- 沈亚楠赵荣彩王小芹任华刘振华张新宇李鹏飞
