C函数可编译切片的分析工具

来源 :'96全国微机应用新技术研讨会 | 被引量 : 0次 | 上传用户:DK7531672
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在分析理解C软件系统中的以若干函数为主的程序部分时,或在重构已有软件系统时,或在复用旧版本中的若干函数时,都需要进行可编译切片的分析。该文描述了针对一组C函数的可编译切片的定义,以及基于程序宏观结构信息库的可编译切片的分析方法。
其他文献
该文提出了一个验证有限步终止的算术程序正确性的代数方法。其主要思想是将待验证的程序用实数域上的BSS计算模型来模拟,然后将其转化为一个多项式代数方程组,从而把程序的正确性
会议
任何鞋服品牌的发展,都有着不同的经营模式,其营销模式也会各异。有些品牌钟爱遍布各个城市闹区的加盟连锁店,有些品牌专注能把控渠道命脉的直营旗舰专卖,更多的品牌则是直营
以微机在模拟集成电路测试中的应用为例,讨论了几种类型的程控电压源、电流源的软硬件实现方法及其应用价值。并设计了一种高精度、大电流、宽电压范围的程控电压源,采用软件方
程序固化是嵌入式实时软件准备运行的重要环节。该文重点研究Intel8086段保护模式可固化程序开工段的设计技术,详细介绍了对段保护模式建立过程中GDT、IDT表R0M区定位及向RAM
程序优化是提高程序运行效率的重要步骤,程序剖析是程序优化的第一步。对于串行语言,程序剖析代码是由编译器通过一个命令行开关自动插入。但是,大部分并行语言编译器都不具有
视觉器官内的加色混合分为静态混合和动态混合,是指参加混合的各单色光,分别刺激人眼的三种感色细胞,产生新的综合颜色感觉。 Visual color mixing within the organ is div
该文提出规范化在开发程序并行性中的必要性,然后描述了FORTRAN程序的规范化方法,阐明了规范化并行转换系统的意义,最后通过在FAT系统中的测试结果,说明了规范化对并行转换系统的具体影响。