面向安全分析的代码语义张量建模研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:xinxinzhang2
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着现代移动通讯、多媒体技术以及互联网技术的飞速发展,各式各样的软件代码呈现出爆炸的趋势,随之带来的代码安全问题也层出不穷,包括代码内容剽窃、恶意代码行为、代码编写错误、代码信息泄露等方面。为了解决这些代码安全问题,需要获取代码片段的功能和行为特征,而高效精准的代码语义嵌入技术是分析代码行为的关键。针对二进制代码同源检测中存在的多样性编译环境以及大规模二进制软件导致检测效率和准确率低下的问题,提出了无监督的二进制代码语义张量嵌入模型,实现高效的跨平台架构二进制代码同源搜索和漏洞检测。在该模型中,首先使用基于自然语言技术的编码算法来生成软件二进制代码指令的初始特征。其次,提出了基于网络嵌入学习模型的代码基本块语义特征编码算法。最后,设计张量压缩算法生成二进制代码函数的语义嵌入特征,该特征可用于实现高效的跨平台架构二进制代码同源搜索。实验结果表明,对比现有的其他方案,能够提高大约2%-15%左右的同源搜索准确率。针对源代码误用检测中存在的代码数据量庞大以及代码逻辑语义捕获不准确的问题,提出了基于图张量神经网络的源代码高维空间语义特征融合模型,实现代码审计中精准的代码误用检测。在该模型中,首先设计了高维的代码图张量结构,对源代码的控制流和数据流,以及代码指令语法进行高维表征。其次设计了结合张量运算的门控图张量递归神经网络层和图卷积神经网络层,通过输入构建的代码图张量来学习准确的源代码语义。最后设计基于候选词注意力机制的输出层完成源代码的误用检测任务。实验结果表明,在源代码的误用检测上达到了94.8%的top-1准确率和95.2%的精确度。针对分布式环境下代码预测补全中的高昂通信和存储成本,以及项目开发者面临的严重代码版权问题,提出了基于联邦学习的图张量卷积神经网络模型,实现分布式环境下基于版权保护的源代码预测补全系统。在该模型中,首先采用高维的复合图张量结构表示源代码的原始特征,并使用自然语言学习算法对源代码节点的初始语义特征进行编码。其次提出了联邦模式下的图张量卷积神经网络模型,学习分布式环境下精准的代码语义特征。最后设计了基于候选词注意力机制和基于全局词汇表的混合输出层预测代码。实验结果表明源代码预测准确率比现有方案高出约5%-20%。通过构造代码张量建模理论,实施各类代码语义嵌入,从代码高维特征融合的角度扩展了当前代码安全性分析的基础理论方法,同时也为当前代码安全性分析的应用提供更为底层的数据建模与优化支撑。
其他文献
2017年我国将供应链的创新及其稳定作为国家战略,习近平主席提出“双循环”问题,国家对供应链的稳定和创新进行了近期部署和远景规划制定。因此,促进企业形成稳定的供应链关系,布局有张力的国际和国内双循环的供应链稳定网络具有特殊的现实意义。本文研究的供应链即“供应商——企业——客户”,其稳定性指站在中间企业视角,其上游供应商和下游客户中断的概率较小,亦即把研究中间企业的盈余管理活动、研发投入活动作为网络
学位
双足机器人具有与人相近的外表与结构,拥有很好的亲和力,因此能够容易被人们接受并融入人们的日常生活中。与其他机器人相比,双足机器人对非结构化环境具有更好的适应能力,不仅可以服务于民生,也适用于危险复杂环境下的抗险救灾。双足机器人由于其自身运动特性,需要高功率的驱动单元,液压伺服系统功率密度大、动态响应快,因此适合用于双足机器人。液压伺服驱动自身刚度高,这保证了其对期望位置的准确跟踪能力,但是在与外界
学位
多边贸易体制正面临着深刻的治理困境。以机制化、制度化为代表的WTO体制是多边贸易体制当下发展的最高阶段,这套以规则导向为基础的治理体系也面临着来自于体制内外的多重危机和挑战。发展中国家待遇问题是各WTO成员方围绕WTO治理困境所推动的改革焦点之一。以美国为首的发达成员反对发展中国家身份的“自我认定”,拒绝给予部分新兴经济体以发展中国家待遇,并要求以“对等”为前提,重塑自由贸易秩序。发展中国家待遇的
学位
破产制度自生成以来便发挥着市场理性的引领与规制功能,是社会环境与内生约束渐次统合的结果,破产制度适用范围的演进脉络便充分体现了破产制度进展的波动性,成为透视破产制度适用范围背后影响因子的进路。破产制度适用范围的演进对破产制度生成与发展的影响聚焦于破产制度主体适用的范围之中。以全球视野观之,破产制度适用范围经历了从商人破产主义到一般破产主义不断扩张的过程。确定破产制度适用范围需遵循有关破产能力的一般
学位
全科医生作为居民健康“守门人”,肩负着整个社会医疗保障体系第一道防线的重任,特别在近几年爆发的新型冠状病毒疫情中,发挥了其重要的医疗防护作用。为加快落实“分级诊疗”政策,形成与大医院医疗信息传递的互动模式,全科医生服务价值的实现则是关键环节。然而,目前缓慢的全科医生职业成长限制了其服务价值的实现。无论身处何种环境下的全科医生都具有普遍性的职业成长特征。全科医生作为集预防保健、转诊和慢性病管理等医疗
学位
文章以新高考视域下的高中化学大单元教学设计与实践为题,针对现阶段的高中化学大单元教学改革,从新高考对推动高中化学教学改革的作用、新高考视域下的高中化学大单元教学基本原则和新高考视域下的高中化学大单元教学设计与实践三个方面出发,分析了新高考对推动高中化学教学改革的作用与价值,探究了高中化学大单元教学改革的基本原则,并提出了在教学设计上做好单元划分、课堂内容整合,在教学实践上从大单元的视角出发做好综合
期刊
信仰作为人的精神生活的灵魂,是对人生观、价值观、世界观的选择和持有,它能使人感到有所期待、有所追求,并赋予人生以意义和价值。根据信仰的不同,信仰可区分为科学信仰和非科学信仰。科学信仰能够使个人进步,使社会、国家进步,无论是个人还是社会乃至国家都离不开一种科学信仰。马克思主义把宗教本质归结为社会经济根源问题,反对虚幻、神秘的宗教信仰,批判不合理的社会现实,以实现人类自由解放而全面发展为目标。马克思主
学位
近年来,以光子晶体、超材料等为代表的新型电磁材料则借鉴了自然界的晶体结构形式,通过设计人工周期单元以及排列方式,模拟电子/光子在天然材料中的传播行为,实现对电磁波的调控。由于人工单元的宏观属性,人们能够非常便利地优化单元结构以及周期排布方式,从而满足实际的调控需求。由超材料发展起来的人工周期结构理论为电磁波的调控以及装置设备的研发提供了新的视角。本论文将周期性超材料加载技术运用到现有的导波结构以及
学位
马克思主义经典作家曾经思考过马克思主义的本土化、马克思主义与特定民族文化传统相结合等问题,但以毛泽东为代表的中国共产党人针对马克思主义中国化的早期实践仍然是一个与国内外教条主义艰难斗争的过程。在毛泽东思想形成过程中,中华优秀传统文化起到了重要作用,其马克思主义中国化的主张也包含现实与历史文化两个维度,但受特定历史条件限制,主要强调的是现实维度。在如何对待中国传统文化以及如何处理马克思主义与中国传统
期刊
在过去的几十年里,对徽州传统村落的研究,经历了从民居到村落的发展过程,研究关注点主要呈现出在单体建筑和村落形态两端分布的趋势,而对于由若干传统村落聚集而成的村落群研究则相对较少。徽州传统村落的研究最早可以追溯至20世纪50年代中国营造学社的研究先驱者们的一系列徽州传统民居测绘。从1953年刘敦桢《皖南歙县发现的古建筑初步调查》的发表,到1957年张仲一等学者基于歙县、绩溪、休宁等地的明代徽州民居调
学位