【摘 要】
：
程序依赖性分析是软件分析的一个基本内容,目前的相关工作大多集中在语句级的分析方面.人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架.本文针对C程序
【机 构】
：
东南大学计算机科学与工程系,东南大学计算机科学与工程系
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)，国家自然科学基金，国家重点实验室基金
论文部分内容阅读
程序依赖性分析是软件分析的一个基本内容,目前的相关工作大多集中在语句级的分析方面.人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架.本文针对C程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析,并提出单元依赖图表达这些关系.基于此图,本文采用基于信息论的方法度量了单元间的耦合性.单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性.相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件.
其他文献
提出了在实现层显式实现连接件的思想,并给出了一种插拔式连接件的实现方法,使连接件这个软件体系结构层概念成为一种插拔式可重用的构造,进而在实现中体现软件体系结构设计,
心血管疾病是最常见的老年疾病之一,难以根治,易发作,病死率高,严重影响病人的生存质量。中医康复疗法以中医基础理论为依据,通过多种中医手段进行综合治疗,是临床治疗的重要
AR技术近年来得到快速发展,逐渐被应用于军事、医疗、定位、娱乐等诸多领域并取得显著成果。此背景下,出版领域积极开展以少儿出版为核心的"AR+出版"探索,AR少儿图书出版在数
变换和量化在视频编码起着举足轻重的作用,本文简要介绍了变换与量化的基本原理,提出了一种基于能量集中率的变换基选择方法,在考虑了变换的性能与计算复杂度的同时将变换基
生石膏巧治鼻出血生石膏30克(先煎),加入白木槿花10克,豆腐250克,文火煎至豆腐起小孔,再加白糖30克,然后喝汤吃豆腐。樱桃泡酒治风湿通常所说的“风湿”,主要指风湿性关节炎
目的 探讨冠心病或伴胰岛素抵抗患者血清脂联素水平关系.方法 选择标准冠心病患者155 例,据稳态模式评估法评价胰岛素抵抗指数≥ 2.8,分冠心病无胰岛素抵抗组（CHD 不伴IR）66 例
PPP 作为一种新型的项目融资模式，在基础设施建设领域具有特殊的优势。河南基础设施建设存在投融资模式单一、资金短缺严重等问题，如何创新融资模式对于加快基础设施建设步伐具
使用漱口水会让你的口腔留有薄荷味的新鲜气息。但是，我们是不是真正需要它呢？口腔专家称，虽然漱口水对清洁口腔有帮助作用，但是它永远取代不了我们用牙刷清洁牙齿和牙龈的机械动
目的:探究分析老年冠心病急症患者肺部感染的预防性护理效果。方法:2017年12月至2019年5月,本院收治108例老年冠心病急症患者,按照随机数字法将108例患者分为两组,对照组54例
提出了一种应用在飞行器上的地面红外目标被动测距技术,该技术通过分析传感器的运动状态和目标在成像面上的光流来获得目标的距离信息.传统的被动测距算法直接用阈值分割提取