Goanna Studio for Visual Studio

O Goanna Studio for Visual Studio fornece uma análise profunda, rastreamento de bugs, navegador alerta e padrões de referências cruzadas perfeitamente integrados com os IDEs do Microsoft Visual Studio e Atmel Studio 6. Isso minimiza mudanças de processos e entrega de detecção de erro no estágio mais recente possível.

A ferramenta é a principal solução C/C++ de análise estática de código de segurança crítica de software embutida. Um componente essencial para assegurar o cumprimento das normas de segurança, tais como DO-178B, ISO 26262, e MISRA, combinando as últimas pesquisas de verificação com IDE perfeitamente, e construindo a integração do servidor, Goanna é a solução mais fácil e poderosa para criar código de confiança em seu desktop .

Encontre defeitos no software antes que eles entrem no seu produto

A análise estática do Goanna automaticamente encontra defeitos em seus programas C/C++ usando apenas o código-fonte. Sem compilação, simulação ou execução necessária. Ao detectar erros nas fases mais recentes do desenvolvimento, você pode melhorar a qualidade do produto, reduzir custos, economizar tempo de desenvolvimento e levar o seu produto para o mercado mais rapidamente.

Goanna integra-se perfeitamente com a maioria dos IDEs e constrói ambientes, colocando o poder de análise estática de profundidade ao seu alcance com apenas um único clique. Não há custos de instalação demorados ou perturbação de seu fluxo de trabalho existente.

Traço de Simulador Único

Goanna pode "repetir" vestígios de erros complexos diretamente em seu IDE, o que lhe permite identificar a causa raiz dos defeitos mais rápido.

Análise incremental em tempo real

O software apenas reanaliza as partes do seu programa que mudaram desde a última execução, permitindo que os ciclos de testes rápidos/depuração levem apenas alguns segundos e não horas.

Resumo do rastreamento de dados

Ele rastreia valores, tamanhos e cálculos de endereços em todos os pontos do seu programa, encontrando erros que não podem ser detectados através de testes e inspeção manual apenas.

Tecnologia premiada

Goanna incorpora o modelo mais avançado de tecnologia de verificação premiada Turing, fornecendo uma cobertura completa de todos os caminhos de execução, mesmo nas funções mais complexas.