softosaur.
RU
Язык страницыEnglishEspañolDeutschРусскийPortuguês

TrustInSoft Analyzer

Помогает разработчикам, QA и инженерам по тестированию в критически важных отраслях находить и устранять проблемы безопасности памяти, ошибки выполнения и неопределённое поведение в коде C, C++ и Rust с математическими гарантиями в рамках заданной области и допущений анализа.

Отзывы на Softosaur (0)

Разработчик: TrustInSoft

trust-in-soft.com

Предложить исправление

Обзор

Пользователи выполняют исчерпывающий статический анализ кода C, C++ и Rust на основе формальных методов и по пошаговым рекомендациям в GUI доходят до первопричины каждой находки. Версия 26.10 добавляет в интерфейс ИИ-агента для кодирования, автоматизирующего ключевые шаги подготовки и настройки кампании анализа, и более высокую автоматизацию покрытия MC/DC с таблицей истинности и отчётами для сертификации. Гарантии действуют в рамках заданной области и допущений анализа; ИИ помогает с настройкой, а верификацию выполняет Analyzer.
Подробнее о продукте

Для кого

Отрасли
  • Автомобилестроение
  • Аэрокосмическая и оборонная промышленность
  • Электроника
Роли
  • Разработчик

Продукт

Тип продукта
Приложение

Возможности

Vulnerability Scanning

Exhaustive formal static analysis of C, C++ and Rust source code

Detection of memory safety issues, runtime errors and undefined behaviors

Не входит
  • Scanning of deployed or running systems
Подробнее об условиях: Vulnerability Scanning

Traceable diagnostics with guided root-cause remediation in the GUI

Технические данные

ИИ

Разрешения на действия
  • Действие
    Автоматизация ключевых шагов подготовки и настройки кампании анализа внутри интерфейса Analyzer (26.10)
    Область объектов
    Подготовительная работа для анализа: карты памяти, заглушки и тестовые драйверы; саму верификацию выполняет Analyzer

Безопасность

Подтверждения и сертификации
  • Тип
    Attestation
    Область действия
    TrustInSoft Analyzer квалифицирован как инструмент для сертификации по ISO 26262 до ASIL D (2023)
    Кем выдано
    TÜV SÜD
    Стандарт
    ISO 26262

Отзывы

Опыт пользователей с модерацией перед публикацией.

Отзывов пока нет.

Настройки приватности

Выберите, что разрешить.

Вы можете изменить выбор здесь в любое время. Отказ от необязательной аналитики не ограничивает работу каталога.

РекламаAdSense сейчас не включён. До запуска рекламы выбор настроек будет доступен через платформу согласия.Не активно

Подробнее о cookie · Права на защиту данных