CCNeter:C程序代码Petri网自动建模工具

摘要：

CCNeter是实现扩展的Petri网--CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系.它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局.CCNeter是实现程序静态分析自动化的重要前提.

关键词：Petri网、Cnet、形式化技术、自动建模

所属期刊栏目：38

分类号：TP3;O65

资助基金：国家自然科学基金61040036;教育部留学回国人员科研启动基金资助项目,湖北省自然科学基金2009CDB218;中央高校基本科研专项资金6082015;高等学校学科创新引智计划B07037

在线出版日期：2011-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：96-101