Do you know of any existing tool to graphically render the diagram of an Erlang gen_fsm starting from the source code?
The next-state in gen_fsm can be a computed value that static source analysis would not be able to find out in the general case.
Of course; with type annotations it would be possible, but then you could just as well write down your state transitions explicitly to generate your .dot file from.