Программный продукт TrustInSoft Analyzer (рус. ТрастИнСофт Анализер) от компании-разработчика TrustInSoft предназначен для статического анализа исходного кода программного обеспечения с применением формальных методов. Он позволяет выявлять широкий спектр потенциальных уязвимостей и ошибок программирования, что способствует повышению надёжности и безопасности критически важных программных систем до их внедрения в эксплуатацию.

Система TrustInSoft Analyzer ориентирована на специалистов по информационной безопасности, разработчиков программного обеспечения, инженеров по качеству кода и руководителей проектов в компаниях, которые разрабатывают критически важные системы: авиационную и космическую технику, медицинское оборудование, системы управления энергетическими объектами и другими инфраструктурными комплексами, где недопустимы сбои и уязвимости.

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

Подробнее: https://trust-in-soft.com