Описание
Программный комплекс «IRIDA Sources» представляет собой мощный инструмент для автоматизации статического и динамического анализа потоков управления в исходных кодах программ на языке C++. Предназначен для работы с проектами в среде Microsoft Visual Studio .NET, что делает его идеальным выбором для разработчиков и тестировщиков, занимающихся анализом программного обеспечения.
Комплекс предоставляет пользователям возможность проводить анализ с использованием входных данных в виде исходных файлов проекта, таких как *.cpp, *.c и *.h. «IRIDA Sources» создает модельное представление кода и ассемблерных листингов, что позволяет формировать базу данных, содержащую информацию о функциональных объектах и их взаимосвязях. Это упрощает процесс анализа и взаимодействия различных компонентов программного обеспечения.
К числу возможностей «IRIDA Sources» относятся:
— Поддержка анализа библиотечных файлов, подключаемых к исследуемой программе.
— Классификация функциональных объектов по принадлежности (пользовательские, библиотечные, функциональные объекты компилятора).
— Отображение модели анализируемой программы на языке C++ и ассемблерного текста.
— Графическое представление управляющих связей в виде дерева вызовов.
— Синхронизация различных представлений кода при навигации.
— Интерактивное выявление невызываемых функциональных объектов с возможностью их удаления.
— Установка контрольных точек для формирования статических маршрутов выполнения.
— Генерация отчетов и протоколов по результатам анализа.
Программа работает в средах, поддерживающих Microsoft Visual Studio .NET, и не требует специфических зависимостей, кроме необходимых для работы этой среды. «IRIDA Sources» обеспечивает оборудование, совместимое с платами, используемыми в анализе программного обеспечения, включая стандартные серверы и рабочие станции.
Области применения «IRIDA Sources» охватывают:
— Проведение сертификационных испытаний на наличие недекларированных возможностей программного обеспечения в соответствии с нормами законодательства.
— Анализ и тестирование программ, написанных на языке C++, что активно используется в различных отраслях, включая информационные технологии и кибербезопасность.
Уникальные особенности комплекса заключаются в автоматизации анализа, что значительно снижает затраты времени на тестирование и повышает точность выявления ошибок и уязвимостей в коде, позволяя создавать надежное и безопасное программное обеспечение.
Если вы обнаружили ошибку, пожалуйста, уведомите нас — выделите текст с ошибкой и нажмите клавиши Ctrl+Enter. Отключите блокировщик рекламы, если после нажатия комбинации кнопок не срабатывает всплывающее окно.
