【发布时间】：2012-10-25 23:03:34
【问题描述】：
我正在研究可视化大量 C 代码，最好是对其状态机进行逆向工程并以图表的形式为我绘制出来。
我研究了 Graphviz 和 Dot，看来我可以从 API 中拼接一些东西来完成这项工作。但老实说，我有点期待这将是一项足够普遍的任务，以至于有人可能已经想出了一个工具来完成这项任务。
有人有这方面的经验吗？您可以推荐的任何解决方案或我忽略的现有工具？
谢谢。
【问题讨论】：
-
您希望一个工具自动检查代码、找出存在哪些状态以及何时发生转换？对我来说，这听起来是一项艰巨的任务。
-
C 并不完全是一种鼓励状态机的语言。因此，很大一部分代码将具有大量不利于图表的状态。
-
“它的状态机”是什么意思？控制流程图？真的是代码编译成的状态机吗？还是你的代码定义的状态机？