【摘 要】
：
为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树（AST）文本来提取源程序静态信息的方
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目（60673035）
论文部分内容阅读
为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树（AST）文本来提取源程序静态信息的方法.首先,对GCCAST文本进行标准化及消除文本中与控制流分析和数据流分析无关的结点信息;其次,构建控制依赖子图;同时如果需要数据流分析,在控制依赖子图的基础上构建控制流图,在控制流图的基础上构建数据流子图;最后通过引入过程间分析来完善系统依赖图.实验结果表明,这种方法基本能正确的分析源程序的控制依赖和数据依赖关系,具有更好的适应性和灵
其他文献
铁路公路等曲线测设中,多少年来都是用切线支距法和偏角法。这两种方法都要求必须先测设曲线主点,然后在曲线上(包括端点)设站,再详细测设。长曲线或测设中遇障碍,须搬动仪器多次设站才能测完一曲线,很不方便,而且野外工作量大。本文提出自由测站极坐标法测设曲线,可以任意选择测站位置,不仅工作方便,而且效率高。文章详细介绍了这一新的作业方法,计算公式,并给有实例。
为了研究板壳结构系统在爆炸载荷作用下的可靠性问题,基于响应面法(RSM)和有限单元法(FEM)计算了圆筒结构在水下爆炸载荷作用下的可靠性指标.将炸药参数和结构材料参数作为基
本文介绍紫阳骨坡治理工程中有关抗滑桩的设计与施工。文中详细地论述了设计中设计人员应根据工程的具体情况去灵活处理的一些技术问题，如确定有关参数的选择原则，计算上的条件
得到了一些四元数体上的正定自共轭矩阵和的 Schur余的特征值估计 ,推广了许多复矩阵中的著名结果
在中国抗日战争时期，日本法西斯曾动用多种飞机作战，包括战斗机和轰炸机等。其中，Ki-48是投入比较早的轰炸机之一。该型机是在上世纪30年代后期就开始投入使用，属于双发轻型轰炸
作为网络核心的服务器一旦发生故障，将会导致数据和文件的丢失。为此，应有一套完善的数据容错措施，确保数据和文件等信息不会因服务器故障而丢失，着重论述了针对局域网网络服务器
合成了苯甲酰丙酮缩邻苯二胺单Schiff碱化合物，并测定了该分子的晶体结构。该化合物晶体属单斜晶系，空间群为C2/c，晶胞参数：α=1.550 3(3) nm,b=1.640 1(3)nm,c=1.1711(2)nm,β=1
运用格子气Boltzmann方法(LBM),将Boltzmann 熵函数分解成与过程无关的温度熵和体积熵两类成分,并对其应用进行了举例.
本文采用激光热透镜分析法测定水中痕量磷，研究并讨论了测定磷的各种影响因素，并与分光光度法进行比较，结果表明，热透镜分析方法比分光光度法具有较高的灵敏度，其线性范围为２￣６０ｎｇＰ／ｍＬ，方法检