沈亚楠
- 作品数:10 被引量:21H指数:3
- 供职机构:解放军信息工程大学信息工程学院更多>>
- 发文基金:国家自然科学基金河南省杰出人才创新基金国家部委资助项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 程序并行化中数据收集代码自动生成算法研究被引量:3
- 2006年
- 着重论述了串行程序并行化过程中的数据收集部分代码的自动生成。提出利用等价类的方法获取数据的最后写关系,并建立包括计算划分、循环迭代和数据最后写关系的不等式限制系统,最后利用FME消元法对不等式限制系统进行消元处理,最终实现数据收集代码的自动生成。
- 龚雪容生拥宏沈亚楠
- 关键词:等价类数据收集
- 串行程序并行化中计算代码与同步通信代码的自动生成被引量:4
- 2008年
- 简要介绍了并行编译中的计算划分和依赖关系分析,提出如何利用计算划分和依赖关系自动生成并行程序中的计算代码和同步通信代码。
- 龚雪容生拥宏沈亚楠
- 关键词:同步通信
- 分布式系统中数据分解的研究被引量:2
- 2006年
- 数据分解对消息传递并行机下的并行编译器取得高性能至关重要。根据编译器自动得出的数据分解(映射数据到处理机)信息,C语言版本的发送/接收消息循环嵌套可产生出来,从而在处理机之间实现分布数据。不仅一个已被证明且功能强大的数学模型用于产生数据分解代码,而且一个形式化的算法及其实现也已给出。初步实验结果显示该算法能显著提高性能。
- 沈亚楠姚远张平赵荣彩罗向阳
- 关键词:并行编译器线性不等式数据分解
- 基于二进制补丁比对的软件输入数据自动构造被引量:2
- 2010年
- 在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分析人员构造软件畸形数据的过程,为其快速触发软件脆弱点创造了条件。
- 沈亚楠赵荣彩任华王小芹刘振华张新宇李鹏飞
- 关键词:函数调用图遗传算法适应值函数
- 软件模糊测试中畸形输入数据的自动构造被引量:2
- 2010年
- 提出一种畸形输入数据自动构造算法。基于软件二进制补丁比对结果及目标函数调用图,设计适应值函数,对同一种群中所有个体进行评估,寻找优秀个体并遗传到子代中。实验结果表明,该算法能够生成到达或接近到达软件脆弱点的输入数据,简化逆向分析人员构造软件畸形数据的过程。
- 沈亚楠赵荣彩任华王小芹张新宇刘振华李鹏飞
- 关键词:函数调用图遗传算法适应值函数
- 软件模糊测试中遗传杂交算法的研究被引量:2
- 2009年
- 利用遗传算法的导向性原理,可以不断寻找能够触发软件异常的测试用例。杂交过程是遗传算法中重要过程之一,如何定义父代中的优秀基因并遗传到子代,对寻找算法搜索空间的最优解非常重要。定义了重要基因及优良选择的概念并提出相应杂交算法。在Windows RPC测试中发现,该算法能够寻找到种群中优良基因并不断遗传到子代中,为自动构造软件输入数据,触发软件异常提供支持。
- 沈亚楠赵荣彩王小芹任华庞建民李大伟
- 关键词:遗传算法
- 基于规范生成的文件模糊测试被引量:3
- 2010年
- 为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法。基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型。在规范描述下生成不同类型文件,然后对每类文件进行变异模糊测试,有效地减少了大量无效测试。实际测试中,已经验证3个已公开漏洞并发现两个未公开漏洞,表明了该算法的有效性。
- 沈亚楠赵荣彩王小芹任华张新宇鲁海军李鹏飞
- 基于文件规范描述的文件模糊测试被引量:3
- 2010年
- 针对传统文件测试效率不高、存在功能遗漏的缺点,提出一种基于文件规范描述的文件模糊测试方法。给出基于文件规范的文件推导规则,用于描述文件中结构的组织形式、结构与结构之间的依赖关系,生成同一格式下不同类型的文件并对每类文件进行模糊测试。实验结果表明,该方法能有效找到文件处理软件的脆弱点。
- 沈亚楠赵荣彩王小芹任华鲁海军张新宇李鹏飞
- 二进制补丁比对中的指令归一化算法被引量:3
- 2010年
- 针对软件二进制补丁分析过程,提出一种指令归一化算法,用于判别补丁前后的相应基本块内指令是否发生重排序。与常用的小素数法相比,该算法不受基本块内指令条数的限制,不会导致差异信息漏报,且效率较高、效果良好。初步实验证明,该算法减少了人工分析差异信息的工作量,可以帮助逆向分析人员快速定位软件差异。
- 沈亚楠赵荣彩王小芹任华刘振华张新宇李鹏飞
- 分布式系统中数据分解代码的自动产生
- 2005年
- 为分布内存系统开发的并行编译器碰到的第一个问题就是如何分解一个应用程序中的数据。由于访问非本地节点上数据的代价是昂贵的,所以数据分解必须仔细考虑。尽管数据分解的定义已被提出,但是文献并没有给出相应的算法.本文介绍了在一个已被证明且功能强大的数学模型下如何产生数据分解代码的算法,并在SUIF(Stanforduniversityintermediateformat)系统中的Paraguin编译器上得到实现。
- 沈亚楠姚远龚雪容张平赵荣彩
- 关键词:并行编译器数据分解