ПРОГРАММНЫЙ КОМПЛЕКС «ДИКОД»
Динамический анализатор программного кода «Дикод» - это разрабатываемый программный комплекс, предназначенный для динамического анализа многокомпонентных программ и статического анализа программного кода, необходимого для проведения динамического анализа с требуемой глубиной и достоверностью, в том числе:
- объектов критической информационной инфраструктуры;
- автоматизированных систем управления производственными и технологическими процессами;
- государственных информационных систем;
- информационных систем персональных данных;
- программных продуктов и средств защиты информации, созданных в соответствии со стандартами безопасной разработки программного обеспечения.
возможности анализатора
Динамический анализ
- инструментация исходного кода объекта оценки;
- контроль выполнения функциональных объектов;
- анализ тестового покрытия;
- контроль соответствия связей между информационными и функциональными объектами;
- сопоставление трасс и маршрутов выполнения объектов;
- анализ достижения заданных критериев прекращения фаззинг-тестирования.
Статический анализ
- контроль соответствия исходного кода объекта оценки его объектному (загрузочному) коду;
- парсинг исходного кода объекта оценки;
- фиксация вставок другого языка, не поддерживаемого анализатором;
- формирование перечней функциональных и информационных объектов;
- построение связей функциональных объектов по управлению и информации;
- установление связей между структурными компонентами (модулями, функциями, процедурами) в пределах всего объекта оценки.
Безопасность
- обеспечение безопасности работ и безопасности информации об объекте оценки
- регистрация файлов исходного и исполняемого кода;
- идентификация и аутентификация пользователей;
- контроль целостности исполняемых файлов программного комплекса «Дикод».
Отчетность
- общая информация о проекте
- перечень исполняемых файлов
- результаты сравнения исполняемых файлов с контрольной сборкой
- перечень файлов исходного кода
- перечень вставок на неподдерживаемом языке программирования
- перечень функциональных объектов
- перечень информационных объектов
- перечень связей программных модулей
- перечень связей функциональных объектов по управлению и информации
- оценка соответствия исходных кодов их исполняемому коду
- оценка соответствия маршрутов и путей выполнения функциональных объектов
- результаты фаззинг-тестирования
- покрытие кода тестами
Языки
- С
- С++
- Pascal/Delphi
демонстрационнАЯ версия нашего решения
Windows
Linux
Дикод для Windows
Версия: 2.0.1
Дата выпуска: 17.08.2023
Поддерживается: Microsoft Windows 7 и выше, Microsoft Windows Server 2008 и выше
Во время демонстрации мы покажем основные функции и возможности программного комплекса, ответим на ваши вопросы и объясним, как мы можем помочь в вашем случае использования
Дикод для Linux
Версия: 2.0.1
Дата выпуска: 16.08.2023
Поддерживается: Ubuntu 20 и выше, Debian 10 и выше
Во время демонстрации мы покажем основные функции и возможности программного комплекса, ответим на ваши вопросы и объясним, как мы можем помочь в вашем случае использования
импортозамещение
«Дикод» полностью соответствует требованиям законодательства по импортозамещению.
Подана заявка на включение в Единый реестр российских программ для ЭВМ и баз данных.
Программный комплекс релизован на открытых технологиях, поддерживает отечественные операционные системы и СУБД.
для кого предназначен “дикод”
Разработчики ПО, следующие международной и национальной практике безопасной разработки программного обеспечения
Эксперты испытательных лабораторий
Организации, проводящие анализ программного кода используемых продуктов