【摘 要】
：
CoSy是ACE公司开发的编译器构架,为了保证CoSy C编译器输入程序的安全性,避免产生编译器缓冲区溢出问题,提出了编译器缓冲区溢出判断模型。根据C源程序编译器缓冲区溢出漏洞
【基金项目】
：
中央高校基本科研业务费专项资金（GK201002011）
论文部分内容阅读
CoSy是ACE公司开发的编译器构架,为了保证CoSy C编译器输入程序的安全性,避免产生编译器缓冲区溢出问题,提出了编译器缓冲区溢出判断模型。根据C源程序编译器缓冲区溢出漏洞的特征,建立了编译器缓冲区溢出判断模型;给出了重建CoSy中间表示CCMIR（Common CoSy Medium-level Intermediate Representation）的方法;最后,给出了CC-MIR程序安全性判定算法。实验结果表明,这种模型可以有效地判断输入程序的安全性。因此,通过重建CCMIR模型可以有效地避免C
其他文献
虚拟仿真软件系统验证大型自动化车间的设计方案有很好的效果。但是面对现实车间设计早期的仿真涉及较大的返工工作量，文中以快速、准确、可扩展为目标，提出了模块化的自动化制
目的探讨连续性血液净化（CBP）在急性重症中毒患者抢救治疗中的作用。方法总结我院2004年8月～2006年10月急诊ICU收治的接受CBP治疗的32例重症中毒患者的临床资料,对接受不同的连
幼儿教育是我国教育事业启蒙教育起步阶段的教育内容，通过幼儿教育，可以培养孩子全方位刻板学习的氛围，发挥孩子的创造力和潜能。然而，由于儿童的年龄和接受学前教育的能力，幼儿教
批准转基因水稻和玉米成为主粮,与中国的每位消费者有着怎样的关系?转基因水稻从科研到成为百姓的盘中餐还有多远?转基因主粮这个看似宏大的命题,其实与每个人都有关。 批准转基因主粮意味着什么? 2009年11月27日,农业部批准了两种转基因水稻、一种转基因玉米的安全证书。这是中国首次为转基因水稻颁发安全证书。有了安全证书,这些转基因农作物接下来就可以申请生产许可证了。中国成为了世界上第一个批
英美文学教学在当前的社会现实中被逐渐边缘化,但事实上它对于英语专业的学生依然不可或缺。为解决此矛盾,英美文学前置介入教学改革以课程协作模式将高年级文学课程的部分内
目的:探讨年龄与球蛋白测试结果的关联性及性别因素差异的分析。方法:将幼儿血清和成人血清同时用[1]双缩脲法检测总蛋白(TP),用溴甲酚绿(BCG)法测定白蛋白(ALB),而后用总蛋
审题能力指的是学生通过阅读题目、理解题目所表达的含义的过程,是解题的基础,因为审题是做数学题的一个重要环节,学生只有审清题意才能够精准答题。而在解决数学习题的过程
为了提高航天器CAN总线通讯系统各个节点的规范性、可维护性、可扩展性，研究了CAN总线的高层协议CANo-pen的一种经典开源协议栈MicroCANopen，设计与实现了MicroCANopen网络。软
通过使用Hoffman等的算法进行天空效果的绘制,会产生两个问题:在绘制的天空效果图的中央产生一条肉眼可视的黑带;散射系数不能随着观察者视点位置和太阳的位置变化而变化。通过改变Rayleigh散射方程中与散射方向有关因子的系数,解决使用Hoffman等的算法在绘制天空效果时产生黑带的问题;通过建立Mie散射方程方向系数与观察者视点位置和太阳位置之间的线性方程,解决散射系数不能随视点位置和太阳位置变
小儿疱疹性口炎是由单纯疱疹病毒所致。一般发生在6岁以下儿童，尤其是6个月～2周岁的婴幼儿。表现为发病急骤，出现唾液增多、烦躁、拒食与发热等前驱症状，病程为7～14d，口腔溃疡可自