基于敏感语义关联的代码切片及应用研究

利用程序的可伸缩性对程序进行代码切片,识别出受敏感变量影响的关键语句,消除噪声并挖掘程序内部依赖,用以检测代码的漏洞与缺陷。针对切片对依赖过于敏感的问题,提出一种基于敏感语义关联的代码过程间切片方法,提取表征敏感信息的有效语句,捕获语义依赖关联,将代码漏洞触发点转化为上下文敏感的缺陷依赖流,并基于约束规则提升切片效率,结合缺陷约束获取代码漏洞的异常来源。实验结果表明:该方法在代码切片的效率、质量以及漏洞检测的精度上有较好的表现。

基于动态切片与预训练模型的代码漏洞检测

当前大部分基于深度学习的漏洞检测模型,通常以整个文件或函数作为输入,检测粒度较粗,存在准确率低下、可扩展性差等挑战.为了应对这些挑战并提升漏洞检测技术的性能,同时针对静态切片方法在发现特定执行条件下的漏洞存在不足的问题,提出了一种基于动态切片与预训练模型的代码漏洞检测方法.通过动态切片获取包含路径特征的语句块,借助CodeBERT预训练模型的语义提取能力将具有语义特征和路径特征的动态切片结果表示成二维张量;将代码结构和语义特征编码成灰度图像中的像素值,借助Swin Transformer的特征提取能力,以此更准确地进行漏洞检测.实验数据表明本文的方法取得了较好的效果,可降低误报率和漏报率,同时提高漏洞检测的准确性和可靠性.

基于小样本学习的源码漏洞检测

源码漏洞检测是发现及定位关键系统威胁的重要手段.目前,将深度学习技术应用于源码漏洞检测已经成为研究热点.然而,由于源码漏洞样本缺失,有限的数据条件资源导致现有的源码漏洞检测方法在小样本场景下效果不佳.提出了一种基于小样本学习的源码漏洞检测方法,其目标在于为有限样本量的源码漏洞检测场景提供解决方案.该方法由4个关键部分组成:源码切片和编码、基于元学习的数据集处理、基于动态路由算法的漏洞类向量生成和基于神经张量网络的漏洞类向量匹配.该方法和卷积神经网络、原型网络、关系网络进行了对比,实验结果表明,该方法在准确率方面优于其他的方法,可以有效应对源码漏洞样本稀疏问题.在2-way 5-shot和2-way 10-shot的情况下,该方法分别达到93.92%和95.08%的准确率.

基于网络切片的电力调度通信IP over E1方法研究

随着电力调度脉冲编码调制(PCM)设备的逐步退运,电网公司将逐步采用光传输设备替代调度PCM设备。在设备更换的过渡期,存在大量光传输设备与PCM设备混用的情况。为解决电力调度传输网络中存在的E1与互联网协议(IP)分组业务转换难度大、转换速率低的问题,提出了1种基于网络切片的IP over E1方法。首先,将要传输的数据打包成IP数据。然后,基于网络切片技术,将IP数据包切片后,封装成E1帧。在此基础上,通过E1链路进行数据传输,在接收端通过E1数据帧拆解完成IP数据包的重组发送。最后,将所提方法在某省电力公司进行实例运行,IP over E1转换准确率为99.86%。其结果验证了该方法的有效性。该方法可有效提高IP over E1转换速度和准确率。

多层螺旋CT联合血清LncRNA UCA1检测在胆囊癌中诊断价值

目的:探讨多层螺旋CT(MSCT)联合血清长链非编码RNA(LncRNA)尿路上皮癌胚抗原1(UCA1)检测对胆囊癌的诊断价值。方法:选取本院收治的74例胆囊癌患者(胆囊癌组)、74例慢性胆囊炎患者(胆囊良性疾病组)进行研究。所有受试者进行MSCT及血清LncRNA UCA1、癌胚抗原(CEA)、糖类抗原125(CA125)水平检查;分析MSCT检查、血清LncRNA UCA1、CEA、CA125单独诊断及MSCT检查与血清LncRNA UCA1联合诊断胆囊癌的价值。结果:胆囊癌组患者胆囊壁僵硬占比、胆囊壁不规则增厚占比、侵犯肝脏占比、胆囊边界不清占比、胆囊黏膜线不完整占比高于胆囊良性疾病组(P<0.05),胆囊壁厚度小于胆囊良性疾病组(P<0.05);MSCT检查诊断胆囊癌的灵敏度为90.54%、特异度为78.38%、准确度为84.46%;胆囊癌组患者血清LncRNA UCA1、CEA、CA125水平高于胆囊良性疾病组(P<0.05);血清LncRNA UCA1、CEA、CA125诊断胆囊癌曲线下面积(AUC)分别为0.894、0.664、0.685,截断值分别为1.48、36.67μg·L^(-1)和88.87U·mL^(-1),灵敏度分别为89.19%、54.05%、55.41%,特异度分别为79.73%、56.76%、60.81%,准确度分别为84.46%、55.41%、58.11%;MSCT检查联合血清LncRNA UCA1诊断胆囊癌灵敏度87.84%,特异度95.95%,准确度91.89%。结论:MSCT联合血清LncRNA UCA1检测对胆囊癌有一定的诊断价值。

基于分片融合的代码隐式混淆技术

目前,在代码保护技术研究领域,传统的混淆方法具有明显的混淆特征,分析人员可根据特征对其进行定制化的去混淆处理.为此,提出了一种基于分片融合的代码保护技术,通过在源代码层面将目标代码按照语法规则进行代码分片,依据执行顺序与语法规则,将分片插入另一程序的不同位置,在修复函数调用过程与数据关系后,形成可正常运行两个代码功能的融合后代码.在实验部分,对混淆后的代码,从运行效率、代码复杂度影响、代码相似性这3个维度,与其他混淆技术进行对比.从测试结果可以看出:基于分片融合的代码隐式混淆技术能够有效地模糊代码语义,改变控制流特征,且没有明显的混淆特征.因此,融合技术在对抗多种相似性对比算法的能力上有明显优势.

一种基于分层切片模型思想的源程序信息分析方案

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM(Java Slicing Tools Model)中。

均质土坡稳定性分析的图解法探究

在边坡稳定性分析中,极限平衡方法是以安全系数Fs作为判别标准,而现有确定安全系数的方法需要复杂的迭代计算,不能快速地确定不同工况的安全系数。基于极限平衡Spencer法与有限元的强度折减法,建立一种快速的初步确定边坡稳定性安全系数的方法,该方法可以弥补计算复杂和判断失准的缺点。首先,在考虑天然条件、地下水条件和地震烈度等主要因素情况下,利用计算机中的Spencer(1967)边坡稳定性分析程序中的切片编码方法,得到非线性破坏包络线稳定性分析图,对非线性边坡破坏包络线进行了详细分析。其次,通过试验数据,分析地震烈度、孔隙水压力系数等对安全系数的影响。结果表明,利用非线性破坏包络线建立的稳定分析图能快速准确地确立边坡的安全系数。

喷泉码纠错的无线网络切片传输时间分析

为了提高无线通信中网络切片传输的吞吐率,避免引入大量的反馈延时,将无重传的喷泉码机制用于无线网络切片的纠错传输.在该方案中,采用基于喷泉码的前向纠错机制代替传统的自动重传请求机制,实现网络切片的无线传输;并针对喷泉码纠错机制,优化了网络切片的切片方案.这种方案,通过喷泉码无重传以及低冗余度的纠错特性,可以降低网络切片传输协议的复杂度和传输延时;尤其在丢包率较大的网络环境下,单位时间内喷泉码方案可以传输更多的有效切片数据,提高无线网络切片的传输吞吐率.在此基础上,分别构建了基于喷泉码的无线网络切片传输系统和基于自动重传请求方案的无线网络切片传输系统,并对这两个系统的传输时间进行了分析和比较.仿真结果表明:当网络丢包率超过5×10-2时,网络切片采用喷泉码方案具有比自动重传请求方案更低的传输时间;当丢包率为10-1时,喷泉码方案的传输时间比自动重传请求方案可降低22%以上;随着丢包率的增大,喷泉码方案在传输时间上的优势更加明显.

一种基于条带划分的低延迟帧内编码方法

现有编解码系统所产生的固有延迟比较大,例如对于标清视频,系统延迟要大于260ms,因此难以用于对延迟有严格要求的系统中。为此,研究了一种新的低延迟帧内编解码结构,在该结构中,将输入的视频划分成若干个条带,在采集端以条带为单位进行采集,以有效降低采集延迟;同时,给出了以条带为基本单位的I帧编码方法,对每一编码条带下采样,将其分成4个子图,以子图为单位进行预测,以提高预测的精度,进而降低编码延时。实验表明,新的编码结构在采集和编码过程中能有效降低帧内编码延迟,在保证恢复图像质量的同时,可以将延迟降低到150ms。

基于光学树脂基片的码盘、光栅盘制作技术研究

码盘、光栅盘是光电位移精密测量仪器和光栅计量测试设备中的核心元件。目前,码盘、光栅的基片主要是K9玻璃、浮法玻璃、不锈钢及菲林胶片,但它们无法适应振动强、冲击大等恶劣环境的要求。为了解决上述矛盾,采用新型的材料--光学树脂作为基片进行码盘、光栅盘的制作,通过分析部分光学树脂特别是聚甲基丙烯酸甲酯(简称PMMA)、聚碳酸酯(简称PC)、聚苯乙烯(简称PS)的光学特性,在研究现有光刻复制工艺的基础上,采用新型的制作技术制作出PC树脂基片的光栅盘,在45倍显微镜下观察,线条陡直、无龟裂,试验结果表明该工艺可行,工艺参数正确,为进一步研制以树脂码盘、光栅盘为核心元件的测量仪器和光栅计量设备提供了试验基础。

基于代码片段的无线传感器网络密钥更新方案

针对当前无线传感器网络密钥更新技术存在的安全隐患,提出了一种基于代码片段的密钥更新方案(简称CSKUS方案)。CSKUS首先为传感器节点预分配初始密钥以及代码片段,相邻节点之间通过交换代码片段获得相同的代码片段集;然后利用代码片段集所组成的更新程序完成密钥更新。理论分析表明,CSKUS不仅具有很高的安全性,同时具有计算、通信开销低的特点,完全支持大规模无线传感器网络。

基于贪婪算法的MGS编码优化方法

提出一种基于贪婪算法的MGS可伸缩编码的码率控制优化方法。该方法以较低的计算复杂度优化MGS编码,根据不同帧类型和质量层类型的统计特性分别建立不同的率失真模型,并基于贪婪算法确定MGS的片层优化分配方案。实验结果表明,该方法在相同码率下明显提高解码图像的质量,平均峰值信噪比可提高0.5 dB。

基于图结构源代码切片的智能化漏洞检测系统

针对智能化漏洞检测,从源代码程序依赖图中根据漏洞特征提取图结构源代码切片,将图结构切片信息表征后利用图神经网络模型进行漏洞检测工作。实现了切片级的漏洞检测,并在代码行级预测漏洞行位置。为了验证系统的有效性,分别与静态漏洞检测系统、基于序列化文本信息和基于图结构化信息的漏洞检测系统做比较,实验结果表明,所提系统在漏洞检测能力上有较高准确性,并且在漏洞代码行预测工作上有较好表现。

基于脉冲切片编码的反欺骗干扰波形设计

基于数字射频存储的转发式欺骗干扰技术逐渐成熟,而传统的对抗措施尚显不足。基于波形分集原理,文中提出了一种脉冲切片编码的波形设计方法。首先,对发射的线性调频信号进行切片编码;在接收处理时,根据编码规则解码,通过判断解码后接收信号与发射信号的相关性大小,区分出干扰信号。仿真结果表明:文中设计的波形解码后经匹配滤波满足互相关函数峰值与自相关函数峰值差值大于3 dB的分析准则,能够有效抑制转发式欺骗干扰。

新型的多路径匿名通信系统

本文基于信息分割理论和网络编码技术提出一种高效的多路径匿名通信模型—ACM-MP,发送者将通信消息经信息分割技术产生分片信息,并对其进行编码处理后沿编码匿名转发网络中不同的匿名通信链路发往接收者,编码匿名转发网络中各节点通过编码地址信息可获知其直接后继节点的具体位置,确保接收者可接收到所有的编码信息.理论分析与仿真结果表明,本文模型具有较高的匿名性、安全性和抗合谋攻击的能力.

一种精简二进制代码的程序理解方法

精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象,基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法,首先将分析对象转变为运行期进程,引入实际运行中的进程信息;然后引入程序的行为特征,以程序表现出的外在行为和对外接口作为辅助信息,将此类外部特征映射到程序代码;最后基于切片思想和调试技术,获得程序切片并分析。这种方法为分析理解过程扩展了信息量,降低了复杂度,解决了分析此类软件时信息缺失和难以建立理解模型的问题。

64层螺旋CT冠状动脉成像及冠状动脉彩色编码技术的临床应用

目的探讨64层螺旋CT冠状动脉成像及冠状动脉彩色编码技术在冠心病诊断的临床应用。方法对74例临床拟诊冠心病的患者进行64层螺旋CT冠状动脉成像检查。重建冠状动脉图像，显示冠状动脉分支血管，测量冠状动脉狭窄程度、长度；对检出的86段粥样硬化斑块采用彩色编码技术进行标记和测算。结果64层螺旋CT冠状动脉成像受心率影响较大，在控制心率≤70次／min时，冠状动脉1-13段血管97．4％（823／845）图像质量为1级，粥样硬化斑块及冠状动脉狭窄清晰显示。彩色编码技术检出不稳定斑块27块，其中19个斑块导致冠状动脉26％～50％狭窄，5个斑块导致冠状动脉51％-75％狭窄。结论64层螺旋CT冠状动脉成像及冠状动脉彩色编码技术可以非创伤性地显示冠状动脉狭窄程度及导致冠状动脉狭窄的斑块中各成分形态、分布及比例，可作为对冠心病患者进行筛查及初步预后评估的首选方法。

一种基于前向计算的动态程序切片方法

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。

基于比特平面分层和彩虹伪彩色编码的红外图像增强方法

由经纬仪拍摄的海空远距离红外目标图像具有对比度低、灰度不均匀以及含有大量复杂噪声等缺点,这会严重影响对图像中目标的判读。为此,提出了一种基于比特平面分层和自适应彩虹码伪彩变换的图像增强方法。结果表明,经该方法增强处理后的伪彩色图像的颜色饱和度更高,细节和边缘更清晰,尤其是由目标边缘可以清晰辨别出不同的颜色层次,因而更符合人眼的视觉习惯。