Описание системы TrustInSoft Analyzer

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