摘要
CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。
CCNeter is an automatic modeling tool based on CNet,an extension of Petri nets.CCNeter respectively describes data,operations and control from a sourece code.Accordingly,on Petri nets specification the relationship among data,operation and control can be discovered.Through capturing the dependency relations among source files,functions and variables of C project,CCNeter automatically creates CNet specification for C program,then draws and lays out the specification.CCNeter is an important precondition task of static analysis of program code.
出处
《计算机科学》
CSCD
北大核心
2011年第5期96-101,共6页
Computer Science
基金
国家自然科学基金(61040036)
教育部留学回国人员科研启动基金资助项目
湖北省自然科学基金(2009CDB218)
中央高校基本科研专项资金(6082015)
高等学校学科创新引智计划(B07037)资助