Aegis
Aegis - средство автоматического обнаружения дефектов в программах на языках C/C++ на основе статического анализа исходного кода, разрабатывается в лаборатории Digitek Labs с 2008 года. Aegis позволяет выполнять полный и точный анализ многофайловых программных проектов, обеспечивается полная поддержка стандартов и основных расширений языков программирования.
Актуальная версия - Aegis for C 1.2
Получаемый эффект
Использование средства позволяет повысить качество программного обеспечения, снизить трудоемкость отладки и уменьшить общий срок разработки. Подробнее
Типы обнаруживаемых дефектов
Aegis обеспечивает обнаружение наиболее распространенных типов дефектов: утечки и повторное освобождение ресурсов, разыменование некорректного указателя, выход за границы объекта, использование неинициализированных переменных. Подробнее
Платформа статического анализа
Основой Aegis является платформа статического анализа, обеспечивающая получение необходимой информации для обнаружения дефектов. Подробнее
Использование Aegis
Aegis имеет удобный Web-интерфейс пользователя, встраивается в среды разработки Eclipse и NetBeans, интегрируется с системами автоматической сборки. Подробнее
Основные характеристики
С использованием Aegis проанализировано большое количество свободно-распространяемых проектов, а также ряд промышленных проектов по заказу организаций-разработчиков. Подробнее