Automalator
State Dependency deconstructor and mapper for C source code.
Flowcharts not telling you what you want to know about some C source code? Try a State Dependency map!
Every C source file is an implemention of a state machine. Implicit in the definition of a state machine is a network of dependencies between the states.
The Automalator
* deconstructs the C code into the core state machine
* collates the transactions into the dependency net
* generates a diagram-format file with the states and dependencies as the nodes and edges. ...