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

Прошу сообщать, не просто, что да такая утилита существует, а более конкретную информацию, в какой системе она есть, как её можно установить, "потрогать".

З.Ы. Интерес чисто спортивный, просто интересно узнать.