Os usuários executam análise estática exaustiva baseada em métodos formais sobre código C, C++ e Rust e seguem a correção guiada na GUI até a causa-raiz de cada achado. A versão 26.10 adiciona um agente de codificação com IA dentro da interface que automatiza etapas-chave da preparação e configuração de uma campanha de análise, e maior automação da cobertura MC/DC com visão de tabela-verdade e relatórios voltados à certificação. As garantias valem dentro do escopo e das premissas definidos da análise; a IA auxilia na configuração enquanto o Analyzer realiza a verificação.
Mais detalhes do produto
A quem se destina
- Setores
- Indústria automotiva
- Aeroespacial e defesa
- Eletrônica
Produto
- Tipo de solução
- Aplicação
softosaur