Analisador de pilha
Ferramenta de análise estática de código binário:
Deteção de erros devido a "Stack Overflow".
Nove razões para escolher o StackAnalyzer
O Stack Analyzer, baseado em métodos formais, permite testar a ausência de erros de tempo de execução de estouro de pilha.
Atualmente, é possivelmente a única ferramenta que pode oferecer esta garantia.
1.
Efectua análises estáticas em código binário (executável).
2.
Suporta vários compiladores cruzados de diferentes fornecedores e linguagens de programação (C, C++, Ada).
3.
Fornece informações detalhadas sobre a utilização da pilha do utilizador e do sistema ao nível da tarefa.
4.
Permite selecionar o ponto de entrada da análise.
5.
Efectua uma reconstrução do fluxo de controlo diretamente a partir do código binário.
6.
Fornece informações ao nível da montagem e do código fonte.
7.
O módulo opcional Value Analyzer permite a análise do fluxo de controlo e do controlo de dados (análise de registos e áreas de memória, controlo do acesso a variáveis e funções).
8.
Tem integrações com Jenkins, Eclipse e TargetLink (dSpace).
9.
Dispõe de um pacote de certificação para DO-178, ISO 26262, EN-50128 e FDA.
