Вы знаете о каком-либо существующем инструменте для графического рендеринга схемы Erlang gen_fsm, начинающего с исходного кода?
Следующим состоянием в gen_fsm может быть вычисленное значение, которое статический анализ источника не сможет определить в общем случае.
Конечно; с аннотациями типов это было бы возможно, но тогда вы могли бы точно так же явно записывать свои переходы между состояниями, чтобы сгенерировать ваш файл .dot
из.
Это сообщение на форуме («Я хотел бы попробовать какой-нибудь инструмент, кроме ссылки на gen_fsm (или другой erlang FSM) и файл dot (graphviz).») Может быть вам полезен:
http: //www.trapexit .org / forum / viewtopic.php? p = 44468
Когда вы говорите, что хотите проанализировать исходный код программы на Erlang, мне стало интересно, не интересует ли вас случайно анализ зависимостей в самой программе. (Возможно, вас интересует только анализ FSM, который вы пишете, но я хотел уточнить).
Если да, то может быть интересен Xref - инструмент перекрестных ссылок Erlang.
Я новый пользователь, поэтому не могу разместить еще одну гиперссылку, но если вы наберете в поисковике "erlang xref graphviz", то найдете пост на erlang.org, где Ульф У описывает подключение Xref к GraphViz.