带控制流的静态函数调用分析方法

提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。

基于有限状态机的指针解引用静态检测方法

为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。

对王川东《中国医药学向何处去?》一文的看法

看了王川东同志《中国医药学向何处去?》一文,首先觉得王迫切地盼望中国医药学能早日走出一条科学的康庄大道的愿望是好的。但对某些具体问题的看法,却难苟同。特此与王川东同志商榷。关于中国医药学是不是一个“伟大宝库”的问题。王川东认为只有静止、古老、稀罕的文物才堪称“宝库”,而不适用前进、发展、通用的科技。并指出“目前国内外有人企图用现代科学的最新成就来证明‘证’、‘阴阳’、‘经络’、‘三焦’、‘命门’等‘实体’,都是开历史倒车,是理论上的‘致命伤’等”。按照王川东同志的逻辑,研究古典文学——红楼梦都是复古或开历史倒车。我认为“宝”