ccneter:c程序代码petri网自动建模工具

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