【摘 要】
：
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单
论文部分内容阅读
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。“,”In order to produce a code with high quality and high reliability,a static pointer dereference checking method was presented,and the definition of the finite-state machine for pointer-state transition was given.The point-to information was gotten and the
其他文献
本文的主要工作是微孔板的理论推算和实验测量,并在较低声压级下将理论推算的传递损失和实际测得的传递损失进行对照,有力地验证理论的合理性。该理论可在较低声压级下对已知
本文介绍了简支矩形板辐射阻抗计算的两种较好的方法,将这两种方法的计算结果和计算用时进行了比较研究,得到以下结论:(1)两种计算方法的结果基本吻合,计算结果正确有效;(2)
The present paper is succeeded to the 《Insects of Xizang》under the subjectof Coleoptera: Curculionidae-Leptomias Faust. In this paper thirty-three newspecies
本文给出了水下沉底目标检测海洋试验方法及数据处理,对不同条件的数据采用不同的检测方法,并通过数据处理结果的对比,实际检验了这些检测方法对实际沉底弹性目标检测效果。
本仿真系统主要针对舰艇多阵声呐数据融合仿真,但是由于仿真节点设置的灵活性,这个系统在加入其它传感器节点可以成为舰艇融合系统仿真平台。另外可以在理解数据的基础上,建
1982年5月20日下午,本刊编辑部两名同志就医学哲学等有关问题,访问了前西安医学院院长、我国著名生理学家侯宗濂教授。下面是侯教授与本刊编辑的谈话记录摘要。本刊编辑:侯
在有损信道中,由于前向差错编码的有效性急剧下降,因此对于高突发有损信道,信源和信道的比特率控制优化成为一个挑战。提出了一种有效针对差错恢复的视频自适应编码,通过自适
1956年，Biot提出了声波在非均匀多孔介质中的传播理论。Biot模型考虑了框架和孔隙流体的各自运动和相互作用，认为声波传播的能量损失是由流体对框架的相对运动引起的。Biot理论
近来，Suslick等人在硫酸溶液中成功的实现了单泡声致发光，发现其亮度可以达到水中声致发光的2700倍，并且在其光谱中发现了氢原子的谱线。人们还发现硫酸溶液中的单泡声致发光有
为了解决当前存在的区间运算复杂性高、普通区间迭代程序运算量大、花费机器时间长等问题,提高区间迭代的运算效率,针对单变元多项式方程的求解展示了一个高效的区间Newton迭