AdaControl — проверка кода на языке Ada

AdaControl — это утилита с интерфейсом командной строки, предназначенная для обнаружения различных конструкций в приложениях, написанных на языке программирования Ada. Она помогает убедиться, что правила программирования применяются правильно.

Инструмент позволяет идентифицировать различные формы и стили, а также шаблоны проектирования. Однако он не заменяет компилятор, а выполняет роль дополнительного средства поиска нарушений правил хорошей практики программирования.

Вы можете использовать различные элементы управления из файла, интерактивно или через командную строку, чтобы определить, соответствует ли модуль Ada общим правилам. Например, можно проверить физическую структуру программы, максимальную длину строк или наличие специальных строк в комментариях.

Кроме того, вы можете добавлять более сложные правила. Например, ограничить глубину вызова программы, проверить отсутствие псевдонимов между выходными параметрами или обеспечить обработку исключений.

Приложение полностью интегрировано в среду GPS от AdaCore, поэтому вы можете запускать его, исправлять ошибки, редактировать существующие правила или добавлять новые одним щелчком мыши.

Похожие программы

EaseFilter Encryption Filter Driver SDK

Комплексное средство для анализа и реализации методов шифрования кода

Paradox Viewer

Paradox Viewer помогает просматривать и управлять таблицами Paradox.

Hoverfly

Инструмент для создания симуляций API приложений

esProc

Инструмент для анализа данных EsProc работает на основе SPL.

GImageX

GImageX упрощает работу с ImageX: создание резервных копий, развёртывание и редактирование файлов WIM.

Metasploit Framework

Бесплатный мощный инструмент для тестирования безопасности.

ASP.NET Maker

Создание веб-приложений ASP.NET Core MVC с удобным интерфейсом и поддержкой различных БД

Winnovative RTF to PDF Converter

Конвертер RTF to PDF от Winnovative позволяет разработчикам добавлять функцию конвертации в приложения .NET.

Intelligence System

Интеллектуальная система позволяет автоматизировать рабочие процессы и объединять сценарии в единые рабочие процессы.

JetBrains Hub

Централизованный доступ ко всем продуктам и сервисам JetBrains

Автор статьи: Аркадий Кузнецов