【摘 要】
：
函数间分析是静态分析的重要组成部分,函数摘要是一种目前被普遍采用的静态过程间分析方法.针对静态缺陷检测中的过程间分析特点,提出一种面向缺陷检测的函数摘要方法,摘要信
【机 构】
：
装甲兵工程学院信息工程系 北京100072
【出 处】
：
第十五届全国容错计算学术会议(CFTC'13)
论文部分内容阅读
函数间分析是静态分析的重要组成部分,函数摘要是一种目前被普遍采用的静态过程间分析方法.针对静态缺陷检测中的过程间分析特点,提出一种面向缺陷检测的函数摘要方法,摘要信息由前置约束信息集合、后置副作用信息集合和状态特征信息集合组成,将函数摘要的计算化作3个数据流分析问题的求解,使其过程可伴随过程内分析进行.对比实验结果表明该方法能有效降低静态缺陷检测的误报和漏报.
其他文献
【摘 要】我国科技水平如今得到了跨越式的提高，其中，工业技术是得到快速发展的一个部分之一，本文将以如何制作单片机温度检测控制系统，做了深入的分析和研究，并设计出了相应要求的系统，以供同行参考。 【关键词】单片机；温湿度检测；控制系统 温、湿度是工业生产中常见的被控参数， 温度和湿度己不再是相互独立的量， 而应在系统集成中综合考虑。利用单片机对温、湿度控制， 具有控温、湿精度高、功能强、体积小、
在半导体工业中使用过硅通孔的3D集成电路是一项新型的技术.过硅通孔是克服规模限制的一种有效的技术,可靠性低以及成品率低是这项新兴技术主要的挑战.过硅通孔在制作过程中
早熟甜山楂辐－053新品系是山东省农科院原子能农业应用研究所1984年利用60COγ射线辐照栽培品种青州敞口山楂休眠芽条，嫁接于成年树骨干枝上，通过短截及转接等手段，诱变选育出的
近些年来,随着肿瘤放疗事业的发展,医用电子直线加速器在医学上的应用越来越普及,数量越来越多.随着加速器的普及和数量的增多,加速器的辐射危害和辐射防护已成为医院关注的
在传统的分布式系统环境下,由于系统中资源存在相互依赖,建立全局检查点会增加系统的开销,或者恢复时产生多米诺现象.虚拟化可以有效地划分系统,减少系统资源的相互依赖,所以
容错技术在计算机领域有着广泛的应用,特别是在硬件设计和系统架构上引入容错技术,提高了产品的可靠性,而今软件的可靠性已受到了越来越多的关注.软件的容错设计可以帮助人们
无架豇豆是豇豆家族的新成员。我国自引进美国无架豇豆后,因其栽培时不用搭架,省材省工,投资较小,便于规模种植,且适应性广,抗逆性强,上市早、产量高、品质好,因而深受广大
The much-anticipated USA Pavilion for the upcoming World Expo will feature a show entitled“The Garden”- the story of a 10-year-old girl who envisages turning
对一种新近提出的无证书部分盲签名机制进行了密码学分析,指出该协议不满足公共协商信息不可替换性,并给出一个真实的攻击实例.采用对公共信息直接签名的方式改进了原有方案
宝荆别名杜鹃、三角梅,紫茉莉科宝荆属。原产南美热带雨林和亚热带地区,高大常绿或落叶木质藤木,叶倒卵形,叶腋有利刺,花生于叶腋。头状花序,圆锥状花环,有紫、红、黄、白等