Описание
TrustInSoft - это компания, разрабатывающая решения, которые проверяют критически важное программное обеспечение и устраняют векторы атак. Продукты компании снижают кибер-риски, снижают затраты на проектирование систем, критичных для безопасности, и уменьшают обязательства. Основанная в 2013 году, парижская компания выпускает TrustInSoft Analyzer, усовершенствованный статический анализатор исходного кода на основе платформы Frama-C. TrustInSoft Analyzer позволяет разработчикам и интеграторам программного обеспечения полностью выявлять наиболее частые и опасные семейства угроз перед развертыванием. TrustInSoft также предлагает профессиональные услуги и экспертные знания для формального аудита безопасности и критически важных компонентов программного обеспечения.
Источник: https://www.linkedin.com/company/trustinsoft/about/
