一种面向CoSy编译框架的编译优化开发方法

鉴于编译器在系统开发中日趋重要的地位和CoSy在编译器开发中的良好应用前景,文中引入并介绍了基于CoSy的编译器开发的整体流程,并且指出了开发过程中遇到的重点问题和难点问题。文章对编译器开发的主要工作和内容进行介绍,对编译过程进行详细分析,其中对编译器中间代码的优化进行了详细讲解,对窥孔优化思想做了详细介绍。最后,在文章末尾引入具体的开发实例并且结合窥孔优化思想进行具体分析,从而更好地体现基于CoSy的编译器开发方法的优势。

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

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

CoSy C语言编译器安全性研究

为验证CoSy编译器的安全性,并确定不安全因素大致出现的位置,提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法。该方法生成源程序的控制流图以及CoSy中级中间表示的控制流图后,生成由CoSy编译器产生的目标汇编码的控制流图,根据控制流图同构算法,判断控制流图是否同构,由此确定CoSy编译器的不安全因素发生在编译器的前端还是后端。实验结果表明,该方法能有效验证编译器的安全性。

中间人收取“介绍费”合法吗?

浙江某建筑公司通过王某了解到北京有一个大型房地产楼盘马上要开发，正准备招标。同时王某许诺可以帮助建筑公司拿到该工程的承建权，但必须给予相应的报酬，于是建筑公司出具了一份书面承诺，答应中标后给王某工程总造价3％的咨询费。2005年初，建筑公司拿到了工程中标通知书。2006年初，王某在向建筑公司多次催讨咨询费未果后向当地中级人民法院提起诉讼，要求支付330万元的咨询费。在该案审理中，一审法院认定承诺书是双方当事人的真实意思表示，具有民事法律效力，判令被告全额支付承诺书约定的330万元；某建筑公司上诉后，二审法院也认为王某为建筑公司提供了一定服务，应给予王某一定程度的补偿，但认为额度过高，将补偿额度调整为80万元。