10.3969/j.issn.1002-137X.2011.05.024
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