【摘 要】
：
程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读
【机 构】
：
同济大学计算机科学与技术系,国家高性能计算机工程技术中心同济分中心,安徽财经大学计算机科学与技术系
【基金项目】
：
国家自然科学基金(No.90718015);国家高技术研究发展计划(863)(No.2007AA01Z425,No.2009AA012201);国家重点基础研究发展规划(973)(No.2007CB316502);NSFC-微软亚洲研究院联合资助项目(No.60970155);教育部博士点基金项目(No.20090072110035);上海市优秀学科带头人计划项目(No.10XD1404400
论文部分内容阅读
程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。
其他文献
目的提高高职护生关键能力,促进高职护生全面发展。方法根据五年制高职护理专业学生的培养目标要求,应用文献资料法、调查研究法、理论分析法等对高职护生社会能力、方法能力
目的了解某高校教师主要慢性病患病情况,为学校预防保健工作提供依据。方法对2009年某高校350名教师(部分教师)中检出的主要慢性病患病情况进行分析。结果主要慢性病检出率:
该文从特洛伊木马查杀模型的设计入手,引入了人工智能中的启发式分析技术,不但提供了对已知木马的查杀设计,还可以对未知木马进行启发式分析,最终实现对未知木马的判定和查杀
【正】 在哲学史上,黑格尔是第一个从唯心主义立场出发,提出和全面论述“具体真理”,反对“抽象真理”的哲学家。列宁在《哲学笔记》这部著作中,批判地吸取并以唯物主义改造
四川省经济的持续发展使旅游休闲度假需求日益增多。四川风景名胜区资源丰富,但缺乏对休闲度假旅游发展的预判与定位。本文聚焦休闲度假旅游相关设施的规划与建设问题,结合案
对关中两种不同规格温室的温度变化情况研究表明:长50 m,跨度7-7.5 m的温室,无论直斜面和弧面,温度环境均可以满足大多数温室蔬菜各物候期生长发育的需要,但直斜面温室气温、
随着关中-天水经济区经济一体化发展不断推进,区域金融支持的重要性日渐显现。从新兴的金融地理学的视角探讨关中—天水经济区金融资源的分布与流动状况,分析了区域金融合作
图像拼接中,提高角点检测的精确度可以提高配准的精度。在Harris算法的基础上,提出了一种改进的角点检测算法,算法首先分别对图像中每行、每列上所有像素点的Rharris进行X、Y
<正> 汉语修辞具有提高话语表达效果的功效,因而自然成为演讲稿写作中增强演讲效应的重要工具。那么,演讲稿写作中修辞应用的原则是什么呢?一、服务主旨原则任何演讲总是有一
流形学习算法作为一种新的维数降维方法工具,其目标是发现嵌入在高维数据空间中的低维流形结构,并给出一个有效的低维表示。目前,流形学习已成为模式识别、机器学习和数据挖