[nanomsg] Re: State-machine diagrams
- From: Paul Colomiets <paul@xxxxxxxxxxxxxx>
- To: "nanomsg@xxxxxxxxxxxxx" <nanomsg@xxxxxxxxxxxxx>
- Date: Mon, 11 Nov 2013 13:02:44 +0200
Hi Peter,
On Sun, Nov 10, 2013 at 10:59 PM, Peter Kümmel <syntheticpp@xxxxxxx> wrote:
> Does anybody knows if such a tool/framework already exists (I don't mean
> such
> "we save your life" commercial "enterprise" tools)?
>
I'm not aware of any.
> If not, it is really worth to think about to start a new open-source
> project.
>
I don't think it's possible to do very generic tool. Hovewer, it's
probably possible to make a tool that is able to validate state
machine, and has a pluggable extractor. So you may try. Python-clang
is a very nice tool to do the work.
Note, that although diagrams are helpful for understanding code. Most
of the bugs involve several state machines and few other interactions
(owner change, thread switch, etc.). So simple state machine validator
may not be helpful here.
Anyway, let us know if you come up with something workable.
--
Paul
Other related posts: