Технологии защиты от вредоносных программ

12-ПРАКТИЧЕСКАЯ РАБОТА


ТЕМА: ТЕХНОЛОГИИ ЗАЩИТЫ ОТ ВРЕДОНОСНЫХ ПРОГРАММ.


Цель работы: узнать о том, как выполнить статическое тестирование с помощью программного обеспечения Helix QAC.


Теоретическая часть

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

Существует огромное количество инструментов статического анализа, созданных для различных языков программирования.
С/С++

• 
  Helix QAC. Статический анализатор для языков C, C++. Имеется возможность запросить пробную версию.
  

Helix QAC: лучший анализатор статического кода с точки зрения функциональной безопасности и соответствия стандартам
Уже более 30 лет Helix QAC является надежным статическим анализатором кода для языков программирования C и C++. Благодаря глубине и точности анализа Helix QAC стал предпочтительным статическим анализатором кода в строго регулируемых и критически важных для безопасности отраслях, которые должны соответствовать строгим требованиям соответствия. Часто это включает проверку соответствия стандартам кодирования, таким как MISRA и AUTOSAR, и стандартам функциональной безопасности, таким как ISO 26262.
Helix QAC сертифицирован TÜV-SÜD на соответствие функциональной безопасности, включая IEC 61508, ISO 26262, EN 50128, IEC 60880 и IEC 62304. Кроме того, он также сертифицирован по ISO 9001 | TickIT plus Foundation Level — один из наиболее широко применяемых стандартов, гарантирующий, что ваши требования будут не только выполнены, но и превышены.
Основные характеристики Helix QAC
П риоритизация рисков
Расставим приоритеты проблем кодирования в зависимости от серьезности риска. Helix QAC помогает выявить наиболее важные дефекты с помощью фильтров, подавления и базовых показателей. Он обеспечивает точную диагностику и действенные результаты, позволяя вам в первую очередь устранять самые важные проблемы.
Панель анализа
Информационная панель Helix QAC представляет собой централизованное хранилище результатов анализа, доступ к которому осуществляется через веб-браузер. Результаты загружаются на панель инструментов в виде «моментальных снимков». Настраиваемые представления и отчеты означают, что качество кода проекта и показатели соответствия можно отслеживать с течением времени.
Информационная панель Helix QAC полностью настраиваема, что позволяет настраивать ее строки и столбцы в соответствии с потребностями вашей команды и проекта. Используя панель управления, можно:
• Посмотреть весь код по проектам и разделам.
• Выявить проблем и отклонений.
• Посмотреть обновлений и уведомлений проекта.
• Назначить конфигураций правил (например, MISRA, AUTOSAR и CERT).
• Проверить, насколько код соответствует стандартам кодирования и лучшим отраслевым практикам.
• Измерять общее качество кода.
• Отслеживать развивающиеся тенденции с помощью настраиваемых отчетов.
Интеграция набора инструментов разработки
Интегрируйте статический анализ кода с остальными инструментами разработки. Helix QAC поддерживает большинство компиляторов. Кроме того, вы можете интегрировать его со многими инструментами разработки, включая IDES (например, Microsoft Visual Studio), системы контроля версий (например, Helix Core) и серверы сборки с непрерывной интеграцией (например, Jenkins).