C反编译中逻辑分支语句的识别及复合研究

在进行软件逆向工程的过程中,对C反编译后的逻辑分支语句结构进行了形式化的描述,将图论领域中的与或图概念应用到逻辑分支语句的识别上来,克服了相关识别算法的局限性。求解与或图的过程中,提出了逻辑关联矩阵的概念,通过执行动态剪枝策略,大大简化了算法复杂度。最后给出算法实例和复杂度分析,验证了算法的正确性和有效性。     

逆编译中用户自定义库函数识别技术研究

静态库函数分为系统库函数和用户自定义库函数,它的识别问题一直是反编译技术的难点,特别是对于用户自定义库函数,由于通用性低,信息获取困难,因而这方面的研究很少.分析用户自定义库函数在存储器中的存储方式和特征,提出一种用户自定义库函数的识别方法,首次采用两级中间语言(低级中间语言和高级中间语言)的形式进行处理,对中间语言的生成、函数伪代码模块的提取、识别模板的建立等关键技术进行详细的分析研究,最后给出识别实例.实践证明具有较高的应用价值.     

基于Opencv和Directshow的红外导引头通用视频采集模块

在利用红外导引头半实物仿真系统对红外导引头性能进行评估的过程中,需要对不同型号的红外导引头进行视频采集,为此需要导引头视频采集模块具有通用性。针对红外导引头视频采集通用性问题,分析了常用的视频采集方法,采用了基于Opencv和Directshow的方式进行视频采集。从实验效果看,该方法能够采集出不同红外导引头中的视频信号,具有较好的通用性。     

跟踪式智能反汇编算法研究

研究了嵌入式系统文件反汇编过程中存在的主要问题,给出了进行跟踪式智能反汇编的关键算法。首次采用二叉树结构对代码扫描过程进行跟踪处理,给出了生长二叉树的递归遍历算法,克服了传统反汇编过程中建立大量数组、链表以及图表的缺点;通过对二叉树的逆向浏览,解决了间接转移指令的寻址问题,并给出了寻址算法;最后,给出了数据区边界校验算法。对于进行程序反解及软件逆向工程具有较重要的参考价值。     

复杂模式下的多分支语句恢复技术

对多分支结构编译后的各种实现模式进行研究分析,对复杂条件下典型的多分支语句实现模式进行形式化描述,在多分支结构的识别过程中,分析索引表和跳转表调用指令的格式,提出双特征指令匹配算法。通过程序切片,建立索引表和跳转表调用的表达式标准型,消除多分支语句恢复过程中编译器类型和版本差异的影响,提高了算法通用性。     

基于低速率数据链的图像压缩研究

为了解决数据链带宽低与图像数据信息量大的矛盾,实现对图像信息的实时传输,提出了一种高效的图像压缩方案,引入提升小波变换与状态位图思想改进SPIHT算法,降低了运算量,提高了恢复图像质量与编码速度.实验结果表明,在相同的输出比特率情况下不仅重构图像的峰值信噪比得到提高,而且缩短了编码时间.     

基于改进的核相关滤波算法的红外目标跟踪

核相关滤波(KCF)算法在跟踪过程中由于目标受到遮挡或者目标本身的形变、大小变化等问题容易丢失目标.针对以上问题对原算法做出如下改进:一是加入检测模型响应值的方法作为判定目标是否丢失的依据,一旦判定目标丢失,模型就会暂停更新,增加采样窗口个数来扩大目标搜索范围,直至判定为重新定位目标;二是加入一种自适应的多尺度搜索策略...     

国外全向凝视光电系统发展现状与趋势

采用全向凝视光电系统对临近区域实时探测,提高了作战平台的态势感知和自防御水平,国外较早开展研制并逐步投入使用。为认识该类系统发展现状和其独特作用,介绍了基本原理和发展背景,梳理若干典型系统的技术特征和功能,结合作战需求探讨未来的总体发展趋势。鉴于其实战价值,应及时发展,以减小与外军之间的差距。     

IA 32反编译中的多分支语句恢复技术*

对IA32反编译后多分支结构的各种实现模式进行了系统的研究分析,并对复杂条件下典型的多分支结构实现模式进行了形式化的描述。在多分支结构的识别过程中,通过对索引表和跳转表调用指令的格式分析,提出了双特征指令匹配算法。通过程序切片建立了索引表和跳转表调用的表达式标准型,消除了多分支语句恢复过程中编译器类型和版本差异带来的影响,提高了算法通用性,对于进行程序反解及软件逆向工程具有重要的参考价值。     

基于集对分析的软件重构方案优选模型

集对分析具有概念明确、计算简便和信息全面的优点,针对软件重构过程中,传统定位重构代码的方法仅仅依靠开发者的观察和主观意识进行判断的缺点,在集对分析同一度理论的基础上,借助软件度量的相关指标,建立了软件重构方案优选的集对分析模型,为软件重构方案优选提供了一种解决方法。运用变异系数法确定指标权重,提高了方案评价的可信度。实验结果证明,集对分析模型能够正确地定位需要重构的软件代码,并能够给出具体的重构顺序。