中间表示相关论文
近年来,随着互联网行业的蓬勃发展和漏洞攻击事件的频繁发生,安全问题已经不容忽视。在安全领域,软件漏洞是一个非常重要的课题。......
开源无处不在,从底层芯片、驱动、固件,到操作系统、浏览器、应用软件,都有开源软件的应用,基于组件的开发和代码重用大大提高了软......
互联网上丰富的开源代码和第三方组件能够协助软件开发者快速高效地完成开发任务,同时极大地解放了生产力和创造力。正因如此,第三......
异构计算架构是目前高性能计算研究的重要领域。在异构计算架构中,不同种类的计算器件协同工作需要解决如任务调度、数据通信、存......
本论文提出一种可重定向的动态二进制翻译系统，它可用于不同计算机体系结构之间的翻译。其灵感来源于昆士兰大学的UQBT系统。在UQBT......
XDCHECK是一个针对C／C++程序的静态安全检查工具。本文的主要工作是设计并实现XDCHECK中用于收集程序符号信息的符号表子系统。本文......
软件测试能够检测软件中的错误并保障软件质量,是软件开发周期中最重要的环节之一。随着软件规模的不断扩大,软件测试中的各项费用......
在层出不穷的软件漏洞中，缓冲区溢出漏洞已经成为当前危害最大、出现频率最高的漏洞，随着信息技术和网络技术的高速发展，缓冲区溢出漏......
机器学习是人工智能的核心,它使机器可以像人类一样变得“智能”,并且在保证获取新的“知识”的前提下,他会重新整合已有的“知识......
使用神经网络进行漏洞检测的方案大多基于传统自然语言处理的思路,将源代码当作序列样本处理,忽视了代码中所具有的结构性特征,从......
中间表示对编译器的性能、效率和可扩展性都起着决定性作用.0pen64编译器采用一种树型结构的中间表示WHIRL,能表示各种高级控制流......
图计算已成为大数据处理领域的主流应用,采用特定硬件加速可以显著提高图计算的性能和能效.众所周知,硬件代码的编写和验证十分耗......
为实现软件多源多目标的跨平台无源移植和优化,中间表示被二进制翻译系统普遍使用。基于翻译中中间表示的作用,提出基于语义等价验......
针对设计模式挖掘结果有效性评估方法缺乏的问题,提出一种设计模式挖掘有效性评估策略,分结构型、行为型和创建型三类归纳了设计模......
SIMD指令能够高效开发数据级并行,因此当前绝大多数通用微处理器都支持这种机制。但是应用程序和算法的一些固有特性,如访存地址不......
CoSy是ACE公司开发的编译器构架,为了保证CoSy C编译器输入程序的安全性,避免产生编译器缓冲区溢出问题,提出了编译器缓冲区溢出判......
循环不变量外提是一种传统的优化算法.在现代编译器中,循环不变量通常在编译器的中端中被删除或外提.中端的中间表示是目标处理机......
本文提出了体系结构无关的程序热trace提取方法,把基于trace的软硬件划分从机器代码层次提高到了中间代码表示的控制数据流图层次,......
源源翻译是一种有用的编译基础设施,它将高级语言程序转换为语义等价的可再编译的高级语言程序.越来越多的编译器包含源源翻译模块......
针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生......
基于中间表示的机器翻译一般分为源语分析和译文生成两个阶段,其中译文生成就是根据中间表示中的源语信息,在目标语言模型指导和生......
复杂指令集计算机体系结构向精简指令集计算机体系结构的动态二进制翻译过程中经常出现地址不对界的问题。本文以I386到Alpha平台......
中间表示是构造优化编译器的核心技术,其设计方式对整个编译器的可适应性影响很大.IR的扩充和改进往往引起整个编译器全局性的修改......
从编译基础设施的基本概念出发,着重讨论了编译器后端构造所涉及的有代表性的公共编译设施及其采用的中间表示技术、后端构造技术......
WHIRL是Open64采用的一种通用的中间表示，支持多种高级语言和多种目标机。Open64的后端优化工作都是基于WHIRL设计的。BWDSF是一款......
近年来,在PC软件防护手段日益加强的背景下,嵌入式设备固件已成为网络攻击者的优选目标,针对固件程序的攻击事件层出不穷。作为一......
反编译技术可以将二进制可执行程序转换为等价的高级语言形式代码，它是软件逆向工程研究的一个重要方向。对机器指令进行语义抽象以......
SIMD指令在大多数现代处理器架构中是必需的拓展部件。使用SIMD指令能同时对一组数据执行相同操作,从而实现空间上的并行性,显著提......
开源(Open Source)软件的使用、修改和分发不受许可证的限制,但研究表明其往往存在诸多安全漏洞。开发人员对开源软件的使用会直接......
针对循环结构的自动并行化处理，提出一种新的表图结合的中间表示IR（Intermediate Representation）设计方法，该算法具备较低的时间和空......
摘要：为了便于代码优化及指令生成，在并行C语言编译器CPCC（Concordia Parallel C Compiler）将源程序的抽象语法树（Abstract Syntax Tree......
底层虚拟机(LLVM)是一个广泛使用的编译框架,其中间表示(IR)中包含有丰富的程序分析信息,众多以LLVM为平台的相关工作均以IR为基础......
LLVM是以C++编写的架构编译器的框架系统,支持多后端和交叉编译,用于优化程序的编译时间、链接时间、运行时间和空闲时间。节点融......
针对现有主流保护方法存在的特征明显、模式单一等问题,以LLVM开源编译框架为基础,提出了一种基于融合编译的软件多样化保护方法,......
采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离,利用这种格式设计与实现了Compiler Auxiliary Toolkit（CO......
以简单但具有代表性的配对寄存器为例，分析了编译器中间表示设计中使用配对信息所需包含的要点。结合编译器中数据流分析，指令调度和......
在二进制翻译中采用中间表示，可以适当隔离不同机器平台的特点，便于二进制翻译系统的移植。提出一种VINST中间表示方法，介绍其指令集......
在可重定目标编译器的设计与实现中，RTL中间表示具有内部的树结构表示形式和外部的正文表示形式的特性，使RTL适合作为可重定目标编译......
为准确刻画程序的控制流和正确地提取程序控制结构，给出可执行代码控制流分析的整体架构和算法，阐述可执行代码反汇编结：果的抽象表示......
为验证CoSy编译器的安全性，并确定不安全因素大致出现的位置，提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法。该方法......
LLVM中间表示（IR）中包含大量的程序分析原始信息,传统基于CPU的程序分析信息提取方法大多采用串行的循环迭代方式处理较大规模程序,......
本文针对作者参加的国家863超大规模集成电路设计重大专项“SOC中32位数字信号处理器芯片开发和设计平台技术研究”项目，对编译系统......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示（SAIR）。根据汇编指令的特点,给出SAIR的语法并详细......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
源源翻译是使编译器的分析和优化可重定向的一种重要方式.它被广泛用来支持并行语言扩展或者各种体系结构无关的优化,并且可以帮助......
中间表示氓是构建编译和高级综合工具的基础。本文设计了一种面向可重构硬件的编译中间表示方法。这一工作是我们设计的高级综合工......
在现有的SIMD程序设计中,编译器或程序员都需要借助置换指令对参与运算的向量操作数进行重新组织,才能符合SIMD指令的要求。这些置......
随着新一代航空电子机载软件功能和性能的复杂度不断增加,如何高效的设计与开发机载软件已成为航电领域亟待解决的问题。为了支持......
