导读:本文包含了中间表示论文开题报告文献综述、选题提纲参考文献，主要关键词:相似性,自卫队,国防部,基金,双边关系,朝鲜,军事情报。
中间表示论文文献综述写法
凌胜利[1]（2019）在《日韩掐架给美国添堵》一文中研究指出8月28日，日本政府正式将韩国移出可享受贸易便利的“白色清单”。这表明韩国日前通过打“军事牌”——退出日韩《军事情报保护协定》，来反制日本贸易制裁的做法并未奏效，两国之间的矛盾也从经贸领域蔓延到安全领域。日韩掐架，不仅使双边关系严重恶化，更令两国(本文来源于《解放军报》期刊2019-09-05）
刘祎伊[2]（2019）在《基于中间表示的二进制软件漏洞分析技术研究》一文中研究指出随着软件安全事件的不断涌现,各种软件漏洞被接连曝光,软件漏洞已成为影响软件安全的重要因素,漏洞检测则成为信息安全领域的主要研究方向。现有的漏洞检测方法分为面向源代码的漏洞检测和面向二进制软件的漏洞检测,其中前者已经较为成熟,但是二进制代码的设计特点和结构特征都与源代码不同,并且由于二进制语义信息的缺乏以及分析的复杂性,目前少有成熟的二进制漏洞检测工具可以使用。同时,越来越多的软件以二进制的形式发布,因此,对二进制程序的漏洞检测的方法和技术进行研究是十分迫切且必要的。本文以Android平台上的二进制软件动态链接库为研究对象,提出了一种可用于漏洞检测的二进制程序中间语言BinaryLift以及一种全新的二进制程序语义特征表示形式ProF,并实现了一种基于BinaryLift和ProF的漏洞分析方案。本文的主要研究工作及成果如下:1.中间语言BinaryLift的设计与实现:本文分析了已有的二进制程序中间语言的局限性,提出了一种类源码级中间语言BinaryLift。BinaryLift是对底层语言的进一步转化,其准确、完整的反映了程序信息,并且还原了程序的部分高级语义信息,弥补了直接对底层语言进行分析的不足。此外,本文提供了BinaryLift详细的语法定义,也使得对二进制程序的语法分析成为可能。2.中间表示ProF的设计与实现:本文通过分析二进制可执行程序的常见漏洞,对BinaryLift中的程序信息进行进一步的抽象提取,形成一种全新的二进制程序语义特征—ProF。ProF描述了在一个可选的条件下,程序执行的特殊动作以及其预期结果,其融合表示了程序的调用信息、数据流信息以及控制流信息,是一种多维度的二进制程序语义特征表现形式。3.漏洞检测及有效性验证:为实现自动化的漏洞检测,避免在漏洞检测过程中引入人为因素的影响,本文使用自然语言处理技术自动的提取程序中的特征,并结合已有的数据集构建漏洞检测模型。实验结果表明,BinaryLift的平均检测Fl-measure可达到80%,比直接依赖底层语言进行分析的检测结果提高了7%,比Bitblaze的Vine IL的漏洞检测结果提高了3%。ProF比BinaryLift的检测结果高出了 14%,可达到94%,比Grieco提出的基于系统调用链的漏洞检测方法高出了20%。最后,本文通过对Android媒体库Stagefright的漏洞实例分析,进一步证明了ProF的实用性以及可解释性。(本文来源于《北京邮电大学》期刊2019-04-02）
傅立国,庞建民,岳峰[3]（2019）在《一种二进制翻译中间表示正确性的测试方法》一文中研究指出为实现软件多源多目标的跨平台无源移植和优化,中间表示被二进制翻译系统普遍使用。基于翻译中中间表示的作用,提出基于语义等价验证的翻译正确性测试方法。通过先建立源平台指令与中间表示的对应关系,再对中间表示进行状态初始化构造测试用例,最后分别对源平台指令和中间表示执行并比较结果,可以将错误的原因具体到语义解析和本地实现两个子过程。应用文章提出的方法,通过测试发现二进制翻译系统中间表示语义解析时存在的3处错误并证明了该方法的有效性。(本文来源于《信息工程大学学报》期刊2019年01期）
李思宇[4]（2016）在《基于中间表示的代码相似性检测方法》一文中研究指出研究表明软件系统普遍存在重复代码,为了维护和重构系统,人们需要代码相似性检测工具找到重复代码。大部分传统代码相似性检测方法和工具是基于特定程序语言和目标平台,但是许多软件系统包含多种程序语言编写的源代码。为了使代码相似性检测方法不局限于特定语言或平台,本文提出了一种基于中间表示的代码相似性检测方法。中间表示包含了程序的运行的基本信息,并且很少受到语言与平台的影响。所以基于中间表示的代码相似性检测方法能够有效的检测出代码的相似程度,并且具有跨语言和跨平台的特性。这种方法的主要思想是利用编译器将源代码编译为中间表示,再对中间表示进行文本的相似性比较,最后利用局部敏感性哈希高效的检测出相似代码对。实验表明基于中间表示的代码相似性检测方法比其他方法有更高的精确性。(本文来源于《电子技术与软件工程》期刊2016年19期）
汪雷[5]（2016）在《基于LLVM中间表示的缺陷静态分析工具实现》一文中研究指出随着计算机软件在数量和规模上不断地增加,传统的用于发掘软件缺陷的人工测试的方式效率低下、成本较高的缺点逐渐暴露出来,一些新的、自动化的方法被用来完成程序缺陷分析这部分工作。程序分析技术作为一种自动化对程序缺陷分析的技术,无论在学术界还是在工业界都有深入的研究和使用,目前这些技术已经逐步替代传统的方式。程序分析技术根据程序是否会被运行分为程序动态分析技术和程序静态分析技术,程序动态分析技术根据通过对程序进行反汇编,得到汇编代码,或者进行指令插桩,或者采用虚拟机模拟运行,通过这样种方式对程序进行分析。程序静态分析技术则不会运行程序,通过对程序源代码或者经过源代码编译生成的中间代码进行分析,一般采用的技术包括,控制流分析、数据流分析、模型检测、污点分析和符号执行等,它们各自都有优缺点。本文使用静态程序方法作为主要的方式对程序缺陷进行分析,采用符号执行技术+SMT求解,实现了一个静态分析工具——MLSA。MLS A使用LLVMIR(LLVM编译器框架的中间语言)作为分析对象,采用符号执行技术,记录程序变量的符号值,对于检测指令和分支指令使用SMT求解判定程序是否存在缺陷和路径的可达性问题。MLSA作为一个静态分析工具,能够完成过程内和过程间分析,目前主要针对C++语言的除零、指针越界访问和死代码叁类缺陷进行分析,并支持分析Fortran语言的除零、数组越界程序缺陷。经过实验表明MLSA具有实用工具缺陷分析能力。(本文来源于《北京邮电大学》期刊2016-06-22）
张忱[6]（2016）在《“收盘汇率+一篮子货币汇率变化”机制初步形成》一文中研究指出本报讯 记者张忱报道：中国人民银行日前表示，目前已初步形成了“收盘汇率+一篮子货币汇率变化”的人民币对美元汇率中间价形成机制。经过一段时间磨合，政策效果已初步显现，市场预期趋于稳定，人民币对一篮子货币汇率保持基本稳定，人民币对美元双边汇率弹性进一步增强。(本文来源于《经济日报》期刊2016-05-09）
戴涛,单征,岳峰,崔韫楠[7]（2016）在《一种动态二进制翻译中间表示变量活性分析改进算法》一文中研究指出动态二进制翻译是指可实现不同体系结构上软件兼容移植的系统,翻译过程使用源体系结构的一条或多条指令来模拟目标体系结构的一条指令,完成两者指令功能的等价,但也同时增大了代码的膨胀率,降低了程序执行的效率.变量活性分析是提高二进制翻译系统执行效率重要的方法,本文在QEMU中间表示TCG(Tiny Code Generator)变量活性分析算法的基础上,提出线性扫描冗余ld M和st M指令匹配删除算法删除TCG中间代码冗余指令,有效简化指令翻译.整体性能测试表明,该方法可有效减少TCG中间指令的数目,比QEMU优化前翻译性能平均提高约12%.(本文来源于《小型微型计算机系统》期刊2016年02期）
张颖晓[8]（2016）在《惊!4只新保本基金首募规模超6成 叹!29只老基金跌破面值》一文中研究指出2016年伊始，市场震荡，在这样的行情走势下，投资以保本为先，而《证券日报》基金新闻部（官方微博微信：证券日报微基金）根据同花顺统计整理发现，截至1月31日，在已有的98只保本基金中（A/B/C类分开统计），29只保本基金净值跌破1元面值，更有基金净值仅(本文来源于《证券日报》期刊2016-02-01）
张歆[9]（2015）在《微众银行APP初体验：产品无惊艳 收益有惊喜》一文中研究指出千呼万唤始出来，尤抱琵琶半遮面。 8月15日，作为国内首家互联网银行，深圳前海微众银行首款独立客户端形态产品——微众银行APP正式上线。 《证券日报》记者体验发现，微众银行目前仅具备理财、转账等部分功能，“银行牌照”专(本文来源于《证券日报》期刊2015-08-18）
陈果静[10]（2015）在《保持汇率在合理均衡水平上基本稳定》一文中研究指出近期主要经济指标企稳向好，经济运行出现积极变化，为人民币汇率保持稳定提供了良好的宏观经济环境。未来，人民银行将进一步完善人民币汇率市场化形成机制，维护汇率的正常浮动，保持人民币汇率在合理均衡水平上的基本稳定 8月12日，人民币兑美元汇率中间价较(本文来源于《经济日报》期刊2015-08-13）
中间表示论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着软件安全事件的不断涌现,各种软件漏洞被接连曝光,软件漏洞已成为影响软件安全的重要因素,漏洞检测则成为信息安全领域的主要研究方向。现有的漏洞检测方法分为面向源代码的漏洞检测和面向二进制软件的漏洞检测,其中前者已经较为成熟,但是二进制代码的设计特点和结构特征都与源代码不同,并且由于二进制语义信息的缺乏以及分析的复杂性,目前少有成熟的二进制漏洞检测工具可以使用。同时,越来越多的软件以二进制的形式发布,因此,对二进制程序的漏洞检测的方法和技术进行研究是十分迫切且必要的。本文以Android平台上的二进制软件动态链接库为研究对象,提出了一种可用于漏洞检测的二进制程序中间语言BinaryLift以及一种全新的二进制程序语义特征表示形式ProF,并实现了一种基于BinaryLift和ProF的漏洞分析方案。本文的主要研究工作及成果如下:1.中间语言BinaryLift的设计与实现:本文分析了已有的二进制程序中间语言的局限性,提出了一种类源码级中间语言BinaryLift。BinaryLift是对底层语言的进一步转化,其准确、完整的反映了程序信息,并且还原了程序的部分高级语义信息,弥补了直接对底层语言进行分析的不足。此外,本文提供了BinaryLift详细的语法定义,也使得对二进制程序的语法分析成为可能。2.中间表示ProF的设计与实现:本文通过分析二进制可执行程序的常见漏洞,对BinaryLift中的程序信息进行进一步的抽象提取,形成一种全新的二进制程序语义特征—ProF。ProF描述了在一个可选的条件下,程序执行的特殊动作以及其预期结果,其融合表示了程序的调用信息、数据流信息以及控制流信息,是一种多维度的二进制程序语义特征表现形式。3.漏洞检测及有效性验证:为实现自动化的漏洞检测,避免在漏洞检测过程中引入人为因素的影响,本文使用自然语言处理技术自动的提取程序中的特征,并结合已有的数据集构建漏洞检测模型。实验结果表明,BinaryLift的平均检测Fl-measure可达到80%,比直接依赖底层语言进行分析的检测结果提高了7%,比Bitblaze的Vine IL的漏洞检测结果提高了3%。ProF比BinaryLift的检测结果高出了 14%,可达到94%,比Grieco提出的基于系统调用链的漏洞检测方法高出了20%。最后,本文通过对Android媒体库Stagefright的漏洞实例分析,进一步证明了ProF的实用性以及可解释性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
中间表示论文参考文献
[1].凌胜利.日韩掐架给美国添堵[N].解放军报.2019
[2].刘祎伊.基于中间表示的二进制软件漏洞分析技术研究[D].北京邮电大学.2019
[3].傅立国,庞建民,岳峰.一种二进制翻译中间表示正确性的测试方法[J].信息工程大学学报.2019
[4].李思宇.基于中间表示的代码相似性检测方法[J].电子技术与软件工程.2016
[5].汪雷.基于LLVM中间表示的缺陷静态分析工具实现[D].北京邮电大学.2016
[6].张忱.“收盘汇率+一篮子货币汇率变化”机制初步形成[N].经济日报.2016
[7].戴涛,单征,岳峰,崔韫楠.一种动态二进制翻译中间表示变量活性分析改进算法[J].小型微型计算机系统.2016
[8].张颖晓.惊!4只新保本基金首募规模超6成叹!29只老基金跌破面值[N].证券日报.2016
[9].张歆.微众银行APP初体验：产品无惊艳收益有惊喜[N].证券日报.2015
[10].陈果静.保持汇率在合理均衡水平上基本稳定[N].经济日报.2015