визуализирование внутренней логики программы

[akor168]

Такой вопрос. А есть ли инструменты - редакторы, интегрированные системы разработки или веб-дизайна, которые способны визуализировать программу на каком-то языке программирования в виде графа, базируясь на ее логической структуре. То есть цикл визуализируется собственно блок-схемой цикла, условные переходы аналогично, ну и так далее. То есть не листинг программы, а сразу в виде той блок-схемы которая реализованна(или не реализованна и ошибки должны быть видны так сказать визуально на графе, что нет условия выхода из цикла, или нет входа, или еще какой косяк). Ну и в идеале, чтобы можно было программировать именно заполняя нужную графическую блок схему.

Так вот - есть ли подобные инструменты в природе? И если нет, то почему? Идея то вроде лежит на поверхности.