标识符重命名不一致性缺陷的检测

为解决已有的克隆代码及相关缺陷检测工具无法分析大型程序代码,又不能识别经过修改了的克隆代码的问题,在改进基于频繁子序列挖掘的克隆代码检测模型基础上,提出了基于序列挖掘的C克隆代码及标识符重命名不一致性缺陷检测模型.该模型改进了已有的忘记修改某标识符缺陷检测子模型,并增加了错误修改某标识符缺陷检测子模型,通过计算标识符未...     

嵌入式C代码释放后重用缺陷检测

C代码中的释放后重用缺陷严重影响着嵌入式系统的鲁棒性与可靠性.针对此类漏洞的现有检测方案多针对于计算机系统及应用程序,无法为复杂多样的嵌入式程序提供支持.静态代码分析可以在没有代码运行环境的前提下进行代码缺陷检测.因此,基于LLVM编译框架设计了静态污点追踪方案,实现了针对释放后重用缺陷代码特征的自动化检测.实验结果证...     

增强本地代码安全性的Android软件保护方法

目前针对Android平台的软件保护大多集中在如何保护Dalvik字节码程序,对于本地代码程序的安全性还没有引起人们足够的重视. 为了阻止攻击者对本地代码的破坏,设计实现了一种Android平台本地代码保护方法. 在原始代码中插入多个冗余数据和完整性校验代码,并且对编译后的程序进行加密,使本地代码具备了抵抗攻击者静态分析和动态篡改的能力. 实验结果表明,该方法可以在攻击者对本地代码进行篡改时及时地发现篡改行为,从而有效地保护Android平台本地代码,增强整个应用软件的安全性.     

基于机器学习的网页恶意代码检测方法

网络中大量的恶意网页已经成为网络用户的主要安全威胁。本文提出了一种基于机器学习分类器的网页恶意JavaScript代码分析方法。通过对训练样本训练学习,建立分类模型,最后对测试样本检测。实验表明,本方法能够有效的检测出大部分恶意网页JavaScript代码,检测准确率达到88．5％     

一种使用静态分析的汇编代码缺陷检测方法

针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造.在此基础上,实现了ADSP SHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试.测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷.     

保持语义不变的C克隆代码预处理方法

克隆代码检测工具的输出结果由于存在克隆检测不一致性缺陷的误检和检测出的克隆代码不能直接用于重构的问题,需要对检测工具的输出结果进行预处理。为了解决该问题,提出一种新的克隆代码预处理方法。首先,将自适应K-最近邻聚类方法与程序依赖图相结合,用于降低克隆不一致性相关缺陷检测的误检。然后,使用基于代价-收益分析的评估方法,在消除缺陷后的克隆代码中识别可重构的克隆代码。实验结果表明,该预处理方法,不仅降低了克隆不一致性相关缺陷检测工具产生的误检,提高了可重构克隆代码的数量,而且将克隆代码检测与克隆代码重构两个过程连接为一个有机的整体,有利于提高软件的质量,降低软件维护的成本。     

一种基于操作码N-gram特征的代码混淆技术识别模型

针对代码混淆领域忽略代码混淆技术隐蔽性的安全问题，提出一种基于操作码n-gram特征的代码混淆技术识别模型。通过提取反编译二进制文件程序操作码，生成程序n-gram特征并筛选后输入机器学习分类算法训练，构建识别混淆程序的二分类模型与识别混淆技术的多分类模型。基于多来源第三方数据集与两种先进混淆工具验证该识别模型，使用10维特征识别两类混淆工具的混淆程序，平均识别准确率分别为100%、99.6%;使用30维特征识别5层以上混淆组合技术，平均识别准确率为98.8%。实验结果表明提出的代码混淆技术识别模型相较其他识别模型准确率更高，且对不同混淆工具有一定泛化能力，揭示了当前主流代码混淆技术的隐蔽性风险。     

基于PC的开放式数控系统NC代码编译系统的研究

论述了数控系统NC代码编译技术的发展现状,通过对NC代码程序规则的分析,围绕NC代码编译模块的实现问题,着重阐述了NC代码词法、语法识别的方法和编译模块的设计过程．     

活动图并发语义代码自动生成算法设计

针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法．该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成．实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性．     

基于图模型的C程序数据流分析

针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于图模型的过程内和过程间定值分析,实现对污点型缺陷的检测.结果表明,依赖完备的代码属性指导和区间运算支撑,可以有效降低数据流分析的误报率,减少人工审计代码的工作量.     

一种新的3容错扩展RAID码

随着存储系统规模的扩大,如何提高存储系统可靠性成为一个必须解决的问题. 目前的双容错独立冗余磁盘阵列(RAID)码已经无法满足存储系统可靠性要求. 在双容错行对角奇偶校验(RDP)码的基础上,提出了一种编码冗余率和纠错能力达到编码最优的新的扩展RDP-RAID码,可以允许任意3磁盘同时故障,并给出了一种基于二元矩阵变换的简单和直观的译码算法. 与STAT码和EEOD码相比,扩展RDP-RAID码的编译码复杂度、更新复杂度、存储效率的综合性能可达到最优,存储可靠性高.     

基于独特码符号距离的TDMA突发检测算法

突发信号检测有助于提高通信线路的利用率,或为监听、攻击及干扰线路提供信息基础。现有的检测算法往往需要信号模板等先验知识,且计算复杂度高。针对具有独特码结构的海事卫星时分多址(TDMA)信号,分析了其星座图的特点,研究了独特码符号之间的相位差特征,提出了一种基于独特码符号距离的突发检测算法。该算法无需使用信号模板,且统计量的计算复杂度低。实验表明,该算法能有效地检测出突发信号,且在低信噪比的情况下也能取得较好的检测效果。     

L-D码推广到多元信源

为了得到对含有大量冗余位的序列的直接和有效的编码方法,对Ｌ－Ｄ码进行了研究,提出了将Ｌ－Ｄ码推广到多元信源的一种编码方法,并用大数定律对其平均码长的上界进行了严格的理论分析,对其实际应用中的计算复杂性和压缩率进行了讨论,得到了比较理想的结果。     

一种改进的LDPC码与卷积码级联方案

给出一种改进的LDPC码与卷积码级联方案.LDPC码编码利用消除四环的下三角校验矩阵进行线性编码,在实现快速编码的同时保证较好的性能.在级联系统中,LDPC码采用由短码交织而成的长码,可实现并行译码,获得接近长码的性能.整个方案实现起来复杂度较低、时延小.仿真结果表明在小信噪比状态下,其性能明显优于RS码和卷积码的级联系统.     

RaptorQ码级联方案在卫星通信中的应用

针对卫星通信对高可靠性纠删码的需求,文章提出了一种联合RaptorQ码和物理层信道编码的级联方案。在综合考虑纠错性能和复杂度的情况下,采用物理层编码构造等效删除信道,并选取长度可变且具有线性编译码复杂度的RaptorQ码以实现纠删功能。阐述了RaptorQ码的编译码原理和预编码算法,分析了级联RaptorQ码系统的纠错性能。理论分析和仿真结果表明,与现有同类级联喷泉码算法相比,所提方案具有较低的编译码复杂度和更好的纠错性能,在相同信道条件下成功译码所需的编码冗余更低。     

一种新的准正交空时分组码设计方案

提出了一种准正交空时分组码的改进方案,并用MATLAB进行了仿真．该方案使用改进后的Alamouti码作为基本单元构造出了一个4发射天线的准正交分组编码矩阵,运用矩阵对角化的方法来消除非正交项,降低了译码复杂度．仿真结果表明,与Jafarkhani准正交空时分组码相比,该方案不仅能够在接收端实行线性解码,而且还可以进一步提高系统的信道容量和误码率．     

OFDM系统非规则LDPC码优化设计

提出了一种简单的非规则低密度校验码 (LDPC)的优化设计方案。该方案充分考虑了正交频分复用(OFDM)信道的衰落特性,并利用LDPC码迭代译码原理,在衰落较大的子信道传输具有较高节点度的信息比特,在衰落较小的子信道传输具有较低节点度的信息比特。仿真结果表明,当码长为1 024,码率为1/2时,该方案与规则码相比,在误比特率为10-5时可以节省3dB,且降低了设计最优码的复杂度。     

ACELP语音编码算法改进与仿真

代数码激励线性预测算法（ACELP）是目前诸多低速率语音编码标准的算法核心,包括3G语音标准VSELP、AMR、AMR—NB、AMR—WB．该算法基于码激励线性预测模型,通过对码本的有效搜索,确定基音延迟,算法时间复杂度为O（n^3）．本文在ACELP算法基础上,对ACELP中自适应码本搜索过程进行改进,提出E—ACELP算法．通过AMR标准中8种速率情况的仿真,E—ACELP算法码本搜索时间减少、时间复杂度下降．基于E—ACELP算法,语音编码标准性能和效率得到提高．     

涡轮编码迭代检测在多输入多输出-正交频分复用系统中的应用

垂直分层空时码技术是多输入多输出-正交频分复用系统常采用的一种检测方法,但是其计算方法非常复杂.空频分组码是一种比较有效的技术,可以提高数据在多道无线信道传输的效率.本文提出一种将空频分组码与垂直分层空时码系统相结合的方法,并通过使用turbo码的迭代检测来改善信道估计性能.实验证明：该方法不仅可以简化系统的复杂度,还使得系统在快衰落信道中也具有较好的性能.     

基于前向纠错码的光通信系统研究

基于光通信系统中级联码的特性,分析比较现有的前向纠错码码型的纠错性能、冗余度和实现复杂度,提出一种适用于光通信系统的RS(255,239)+RS(252,226)级联码方案.仿真结果表明,该码型具有更好的纠错性能,在10-12误比特率下比RS(255,239)、RS(255,239)+BCH(127,120)分别多出1.9、1.1dB的编码增益.该方案更适用于超长距离、超大容量和超高速的光通信系统中,并且可以作为前向纠错码的一种候选码型.