CoSy C语言编译器程序缓冲区溢出研究

CoSy是ACE公司开发的编译器构架,为了保证CoSy C编译器输入程序的安全性,避免产生编译器缓冲区溢出问题,提出了编译器缓冲区溢出判断模型.根据C源程序编译器缓冲区溢出漏洞的特征,建立了编译器缓冲区溢出判断模型;给出了重建CoSy中间表示CCMIR( Common CoSy Medium-level Intermediate Representation)的方法;最后,给出了CCMIR程序安全性判定算法.实验结果表明,这种模型可以有效地判断输入程序的安全性.因此,通过重建CCMIR模型可以有效地避免CoSy C语言编译器编译过程中的缓冲区溢出同题.     

面向对象语言编译器的自动测试平台

提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C 编译器测试用例自动生成的手段和方法,阐述了。O_OCTT设计与实现过程中的关键技术。     

基于LCC的交叉编译器的研究与实现

嵌入式系统的飞速发展使得必须快速地为之开发相应的编译器.LCC是一款可重定向的开源小型C编译器,基于LCC为嵌入式系统实现交叉编译器是种有效的途径.首先分析了LCC编译器的体系结构,然后说明了基于LCC的交叉编译器移植技术及其实现,并详细讨论了实现中的关键技术:交叉C编译器ABI的制定和DAG归约规则的制定.并根据实践经验总结出了3条对规约规则的制定具有指导作用的原则.     

IDF新闻集锦

4月26日,英特尔公司与中国科学院计算技术研究所签署合作协议,双方宣布将共同研究开发新一代高级软件编译器。在合作协议规定的两年期限内,双方将对开发下一代处理器和编译器的关键技术进行合作研究。编译器在计算机内的主要任务是将高级编程语言(如C和C++源代码)编制的软件转化为处理器能够识别的二进制语言(机器代码)。英特尔与中国科学院计算技术研究所将就新一代64位架构进行编译器方面的合作研究,它将提高英特尔安腾处理器系列的总体性能和效率,因而将进一步提     

浅谈基于GCC的C++静态分析器的开发应用

目前,最主流的开发语言之一就是C++,越来越多的工具都使用C++语言来开发了。因为C++具有高效等特性,所以得到了很广泛的运用。但是不可避免的,在开发软件程序方面,它也存在着一些缺陷。因此,基于开源编译器GCC的C++静态分析器就被开发出来了,可以审查代码,发现缺陷,保证代码的安全和可靠。本文通过对C++静态分析器的C++的语言的缺陷、检查规则以及编译器的内容进行阐述,综合讲解了其开发与应用。     

Google抛弃C语言,采用Go语言重写Go编译器

正Go语言是Google开发的新型编程语言,将动态语言易于编写的特性和静态语言的高效性相结合,具备良好的易用性和极佳的执行效率。目前该语言已经发布了1.2正式版本。资深的业内人士近日透露,在Go 1.3版本之后,该语言的编译器将会使用Go语言重写。目前Go编译器gc基于C语言,是从Plan 9的C编译器衍生出来的,其中保持了原有的汇编程序、C编译器和链接器,而部分针对Go的编译器(gc/6g/8g/5g)使用C语言进行了重写。     

简化并加速多核应用开发——英特尔推新款C++和Fortran编译器

本报讯英特尔公司于6月6日推出了两款新的软件产品——面向Windows、Linux、Mac OS X操作系统的C++编译器和Fortran编译器专业版,它们将高度优化的编译器、性能库和英特尔多线程构件模块结合在一起,可简化和加速多核应用的开发。     

可信编译器L2C的核心翻译步骤及其设计与实现

同步数据流语言（如Lustre）近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求.为尽力解决好”误编译”问题,近期人们借助reliable-by-construction辅助定理证明器实现常规命令式语言编译器的构造和验证取得了很大的成功,如CompCert C编译器.L2C是基于这种方法开发的可信编译器,它以扩展的Lustre语言为源语言,以Clight （CompCert中的C语言子集）为目标语言.就我们所知,L2C是同类工作中唯一面向实际工业应用的同步数据流语言编译器.本文重点介绍L2C编译器的核心翻译步骤及其设计与实现过程中考虑的主要问题和相关经验.     

嵌入式SQL在Oracle中的应用

研究在Visual C＋＋6．0环境下，嵌入式SQL语言在Oracle数据库开发中的应用，介绍嵌入式SQL开发的步骤并附程序。着重介绍Pro＊C／C＋＋预编译器及其在VC环境中的配置方法。     

可视编译器的设计与实现

通过一个实际的可视编译器开发实例,描述编译器前端的实现方法。这个编译程序除了易于操作的窗口程序外,还包含了标准C语言子集的编译器。这套编译器涵盖了词法分析器、语法分析器、语义分析器、中间代码生成器和简单错误处理器等一整套程序。通过这个实例可以直观地表现词法和语法的构造过程,图文并茂,生动说明编译器中词法器、语法器的功能及其构造过程。     

Solaris X86上的优秀集成开发工具

软件开发工具不再仅仅局限于某种语言的编译器,而是要将编译、调试、快速开发、辅助用户接口、管理代码以及充分发挥硬件潜力这些功能集成于一处。SunSoft公司提拱了一整套桌面开发工具,在SolarisX86环境下WorkShop包括:优化的快速编译器Pro-Compiler、效率工具ProWorks、代码管理工具ProWorks/TeamWare。这些工具可以加速用户开发C、C++及FORTRAN程序,以下分别简介这几种工具。     

StarBus中接口定义语言编译器的设计与实现

从阐述接口定义语言（IDL）编译器在CORBA开发模型中的地位和作用开始,提出了IDL编译器的设计框架,将其分为编译器前端（CFE）和后端（BE）。然后详细说明了IDL编译器用到的接口的数据结构,并介绍了CFE和BE的实现过程。在介绍BE的实现时,着重说明了它用到的Narrowing机制,最后,说明了IDL编译器（到C＋＋Mapping)的使用环境。     

英特尔编译器

作为英特尔件家族中的成员,Windows和Linux版本的英特尔C 和英特尔Fortan编译器使软件开发人员在英特尔芯片上编译出极快的应用程序成为可能。除了可以较大程度地提高应用程序性能,英特尔C 和英特尔Fortran编译器与开发人员目前使用的大多数开发环境保持兼容,并且包括一年的英特尔Premier Support的技术支持。     

Altera宣布为NiosII系统提供C语言至硬件加速工具

Altera公司为NiosII系统开发人员提供新的NiosII C语言至硬件加速（C2H）编译器效能工具，该工具能够有效的提高嵌入式软件的性能。由于越来越多的嵌入式设计使用了FPGA，因此，NiosII C2H编译器的目的是帮助嵌入式系统开发人员提高效率，实现成功的设计。作为NiosII C2H编译器的一部分，Ahera还允许第三方工具供应商使用其系统级基本结构，包括QuartusII SOPC Builder工具，以促进多种电子系统级（ESL）设计工具的开发。     

51系列单片机C语言编程入门（上）

一、使用C语言编程的好处 8051系列单片机自80年代初期诞生以来,由于8051单片机卓越的性能和厂商对8051单片机开发应用的有力支持,8051单片机以绝对的优势在国内迅速地普及应用。为了解决汇编语言编困难的问题,在80年代后期,一些单片机生产厂家推出了基于高级语言C的51系列单片机编译器,即C51编译器。由于C语言是高级语言,使得编程者在编程时不必过份了解单片     

用嵌入式SQL语言开发ORACLE数据库应用的方法研究

本文旨在研究用嵌入式SQL语言开发ORACLE数据库应用的方法。文章首先介绍了PRO*C／C 预编译器及其在VC环境中的配置方法，然后对运用嵌入式SQL和PRO*C／C 开发ORACLE数据库应用程序的方法进行了系统的研究。     

MICROSOFT C编译器的存储模式

本文以Microsoft C为例详细讨论了C编译器的存储模式及相关概念,这些概念对于应用程序的开发具有非常重要的意义。     

IAR Systems开发工具支持AVR XMEGA

IAR Systems宣布IAR Embedded Workbench for AVR V5．10支持Atmel最新的8位MCU AVR XMEGA。IAR Systems和Atmel在XMEGA的开发过程中就紧密合作，再次证明了IAR Embedded Workbench是AVR开发的首选高端C／C＋＋编译器。     

Trips编译器

Trips 的神奇之处不仅仅是硬件,还有软件。这里说的软件其实就是指Trips 的C 语言以及Fortran 语言编译器。编译器的设计目标是:通过使用创新技术,一方面提高处理器的性能,另一方面又不至于增加程序设计者的负担。“我们相信,Trips 在分配编译器和硬件所应承担的任务方面达到了很好的平衡,”Trips 项目编译器负责人Kathryn McKinley 说。在早先的数据流架构中,例如MIT 在20世纪70和80年代开发的架构,必须要用专门的编程语言简化编译器。“但是Trips 将数据流     

同步数据流语言可信编译器Vélus与L2C的比较

同步数据流语言（如Lustre、Signal）在航空、高铁、核电等安全关键领域得到广泛应用.例如,适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类Lustre语言.这类语言相关开发工具,特别是编译器的安全性问题也自然受到高度关注.近年来,基于形式化验证实现可信编译器构造成为程序设计语言领域的研究焦点之一,也取得了瞩目的成果,如CompCert项目实现了产品级的可信C编译器.同样,人们也采用这种方法开展了同步数据流语言可信编译器的研发工作.主要关注从事这一工作的两个长线项目,二者均研发面向基于Lustre的同步数据流语言编译器,分别以Vélus和L2C代称.对Vélus和L2C从多个重要的角度进行较为深入的分析与比较.