陈忠湘

作品数：2被引量：8H指数：2
导出分析报告
供职机构：电子科技大学更多>>
发文主题：分析方法函数调用控制流有限状态机缓冲区溢出更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》更多>>
所获基金：中央高校基本科研业务费专项资金国家科技重大专项国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带控制流的静态函数调用分析方法被引量：5
《计算机工程》2011年第9期47-50,共4页陈忠湘 詹瑾瑜 郝宗波 
"核高基"重大专项"数字电视嵌入式软件平台及产业化"子课题"数字电视嵌入式软件开发平台"(2009ZX01039-003-001-002);中央高校基本科研业务费专项基金资助项目(ZYGX2009J062)
提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数...
关键词：静态分析 控制流 函数调用 程序优化 
基于有限状态机的指针解引用静态检测方法被引量：3
《四川大学学报（工程科学版）》2011年第4期135-142,共8页詹瑾瑜 陈忠湘 郝宗波 
国家核高基重大专项资助项目(2009ZX01039-003-001-002);国家自然科学基金面上资助项目(60973016);电子科技大学中央高校基本科研业务费专项资金资助项目(ZYGX2009J062)
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解...
关键词：有限状态机 指针解引用 指针状态 延迟写入 内存释放异常 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部