陈忠湘
- 作品数：3 被引量：8H指数：2
- 供职机构：电子科技大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家科技重大专项国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 带控制流的静态函数调用分析方法被引量：5
- 2011年
- 提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。
- 陈忠湘詹瑾瑜郝宗波
- 关键词：控制流函数调用
- 基于有限状态机的指针解引用静态检测方法被引量：3
- 2011年
- 为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。
- 詹瑾瑜陈忠湘郝宗波
- 关键词：有限状态机
- 嵌入式应用程序内存检测技术的研究与实现
- 内存错误是指应用程序中读写内存单元,或在执行内存分配与释放等相关操作时所引发的错误。基于C/C++的程序开发,绝大多数软件缺陷或错误都是和内存相关的。由于其具有隐蔽性,编译器不能自动发现内存错误。在程序运行期间发生的内存...
- 陈忠湘
- 关键词：内存错误缓冲区溢出
- 文献传递
