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

【Abstract】 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.更多还原