ARM反编译中指令解码器的设计与实现

针对反编译中传统的基于机器SLED描述以及基于语言文法分析的二进制代码指令解码技术复杂、难于移植等缺点,提出了基于IDA Pro的ARM指令解码器的设计思想.该指令解码器在分析IDA Pro内部数据表示的基础上,扩展定义了指令操作数类型及其线性字符串表示,设计连接器提取指令的各语义要素,并且提出了基于静态分支转移的递归算法构建控制流图.实验结果表明,生成结构化汇编结果文件可以有效支持ARM反编译的后续工作.     

基于软硬件协同设计的内存虚拟化研究

在纯软件实现的X86系统仿真模型中,客户机的访存性能较低,是制约X86系统仿真性能的瓶颈之一。文章借鉴协同设计虚拟机的思想,提出了一种软硬件协同设计的内存虚拟化方案,设计并实现了硬TLB及其访问扩展指令,通过交叉编程使软MMU和硬TLB协同工作,提高地址转换效率。实验表明,软硬件协同设计方案提升了36.7%的访存带宽,显著提高系统仿真性能。     

基于多属性决策的嵌入式操作系统识别技术研究2

针对嵌入式固件逆向解析过程中操作系统类型识别困难的问题,提出了一种基于多属性决策的嵌入式操作系统识别技术。对固件映像中反映出的嵌入式操作系统的多种特征进行综合分析并构建了相关的识别模型,利用向量夹角余弦计算与标准系统之间的相似度。阐述了识别的基本思想和具体实现流程。实验结果表明,该方法在某些特征缺失的情况下仍能得到较准确的识别结果。     

基于IDA的反编译中间语言设计

基于IDA的反编译中,首先利用IDA作为反汇编的前端,通过以IDA plug-in编写的连接器来导出IDA的反汇编相关结果信息,然后以导出的信息为基础,进行汇编语言到中间语言的翻译、过程/函数的恢复及数据流和控制流分析等后续反编译过程.阐述了利用IDA连接器,在导出反汇编相关结果信息的基础上,设计并实现了从汇编语言到中间语言的转换.     

一种基于遗传算法优化的大数据特征选择方法

提出了一种基于遗传算法的大数据特征选择算法。该算法首先对各维度的特征进行评估,根据每个特征在同类最近邻和异类最近邻上的差异度调整其权重,基于特征权重引导遗传算法的搜索,以提升算法的搜索能力和获取特征的准确性;然后结合特征权重计算特征的适应度,以适应度作为评价指标,启动遗传算法获取最优的特征子集,并最终实现高效准确的大数据特征选择。通过实验分析发现,该算法能够有效减小分类特征数,并提升特征分类准确率。     

基于FC-SW存储区域网络的存储系统性能

分析FC-SW存储区域网络(SAN)的网络拓扑结构以及RAID等相关内容,描述在FC-SW SAN中的数据访问流程,在抽象FC-SW SAN的基础上利用排队理论对FC-SW SAN中的存储性能进行分析。阐述磁盘高速缓存命中率、I/O访问读写概率以及网络交换机FC-SW对I/O响应时间的影响。     

汇编子程序流程图绘制算法研究

由于汇编语言本身的多样性与灵活性,汇编语言程序的结构化程度以及易读程度均不理想.为了更好地辅助分析汇编语言程序的功能,根据汇编指令对程序静态流程的影响,对不同类型处理器的汇编指令进行了统一的分类,并在此基础上详细讨论了一种绘制汇编子程序流程图的算法.最后利用程序基本模块的概念,对该算法进行了改进.     

跨平台系统虚拟机的二进制翻译优化

在跨平台系统虚拟机原型ARCH-BRIDGE的基础上,提出了一种基本块级的动态二进制翻译优化方法,通过两阶段翻译、基于虚拟寄存器的优化翻译及延迟机器状态提交等技术,可在不采用中间表示及确保精确异常的情况下,有效去除二进制翻译所引入的冗余。测试表明,优化后的ARCH-BRIDGE在翻译开销明显优于QEMU的同时,翻译块尺寸和翻译冗余得到了大幅降低,并且SPEC CPU2006、NBENCH及OS引导的性能均得到了显著提升。     

基于MODBUS的SCADA系统网络威胁与入侵检测

数据采集与监视控制（SCADA）系统是国家基础设施的重要组成部分,然而近年来SCADA系统一直遭受网络攻击的威胁。在分析SCADA通信协议脆弱性的基础上,描述了23种基于MODBUS的SCADA系统可能面临的网络威胁,这些威胁可分为四大类：信息扫描、响应注入、命令注入以及拒绝服务。利用SCADA系统与物理系统交互的特性,设计了基于协议缺陷和基于系统状态的检测规则。在实验室天然气管道系统的环境下,进行了基于Snort的入侵检测实验,结果验证了入侵检测规则的有效性。     

基于控制流的静态反汇编算法研究

该文在分析各种类型的指令对程序静态流程影响的基础上,提出了一种基于程序流程遍历图的静态反汇编算法,并给出了一种基于统计学的代码间隙填充技术对由间接跳转和间接调用所引用的代码区进行反汇编的方法。