拓扑排序和强连通算法在源代码分析中的应用

来源 :计算机系统应用 | 被引量 : 0次 | 上传用户:hbhszs
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
缺少文档的开源项目和文档不完整的开源项目,分析其源代码是了解其运行机理的主要方法,本文提出一种基于函数分析顺序的分析方法,并且提出构建函数分析顺序的过程。过程为首先使用强连通算法消除函数递归调用,得到一些组件,再用拓扑排序对组件和组件内部的各函数节点排序,得到一个分层链表,该链表包含各函数的调用顺序和分析顺序,再用一种展开算法将分层链表展开,最终得到源代码中的函数分析顺序。
其他文献
本文利用Delaunay三角剖分和Voronoi图的性质,实现了一种对散乱点重构闭合曲面的方法。该方法在搜索策略上进行了改进:首先对输入点进行三角剖分.产生相互独立的四面体,构建一个凸包;然后利用Delaunay三角剖分产生Voronoi图;最后根据Voronoi图的性质,选择包含在形体内部的四面体,提取出边界三角形,完成散乱点边界重构。计算复杂度和Delaunay四面体数量成正比,在自动形状重构
为提高图像清晰度判别函数的单峰性和抗噪性,提出了一种基于小波变换尺度相关的清晰度判别方法。该方法利用信号的小波系数幅值随尺度增大而增大,噪声的小波系数幅值随尺度增大而减小的特性,取相邻尺度间小波系数乘积构造清晰度判别函数,实现了增强信号抑制噪声的目的。通过CCD采集的图像数据对该方法与传统方法进行对比实验,结果表明提出方法具有较好的单峰性和较强的抗噪性,能够准确地评价数字图像聚焦程度。
对以往Cu-Zn-Al合金贝氏体相变机制的工作加以评述。相变驱动力计算的结果表明,Cu-Zn-Al合金中贝氏体相变在热力学上不可能按切变机制发生,只能以扩散过程:B′→B<sub>1</sub
系统以两片Spartan-3E系列FPGA器件XC3S500E为核心,选用A/D转换芯片MAX12529进行高速同步采样、D/A转换芯片DAC902进行实时信号产生。两片FPGA通过8bit数据位互连或共享高速
针对电子商务中广泛使用的密码身份认证法存在的易泄漏、重放攻击、负担过重等问题,提出一种基于消息认证码的身份认证算法,来解决上述问题。本算法具有失效次数和失效时间两个
With increasing competition in international marine logistics service industry,the voice of improving marine logistics service for reducing operation cost and im
由于实时监控系统对视频压缩的需要,本文针对H.264标准的多模式运动估计算法编码模式复杂、计算量大的不足之处,在宏块编码模式选择统计规律的基础上,通过对纹理复杂度的分析,提出
通过一个具体的新增IPv6校园网络的部署以及路由器的端口设置、IP地址分配和各跨由器的配置,采用手动配置IPv6-over—IPv4隧道方法,实现了基于隧道原理的IPv6穿越IPv4的透明传
首先,选择合适的文本集合,并且对文本进行分词处理,然后,进行文档内部特征词的提取,通过采用词频统计的方法对文本向量进行降维处理,从而选择最佳的特征向量。最后,将非数值
逐字分词法是以汉语词典为基础对中文语句通过匹配进行切分的方法。该方法在分词中无法解决交叉歧义与组合歧义带来的问题。本文以词典分词为基础,从序列标注的角度,在逐字匹