Descrição
Programas C e C++ podem ser analisados por uma versão de desenvolvimento do analisador estático da NASA antes de release ou uso em produção.
É útil para usuários que querem comportamento mais novo do analisador para detecção de defeitos. Análise estática pode gerar falsos positivos, então achados precisam de revisão.