Journal article
CCNeter: An Automatic Modeling Tool Based on Petri Nets for C Program
Ji suan ji ke xue, Vol.38(5), pp.96-96
01 May 2011
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.
Metrics
2 Record Views
Details
- Title
- CCNeter: An Automatic Modeling Tool Based on Petri Nets for C Program
- Creators
- G-F ZhouY-Q SunY Cai
- Publication Details
- Ji suan ji ke xue, Vol.38(5), pp.96-96
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Computer Science (Computing)
- Identifiers
- 991020638377704721