O sistema de análise estática Yutian pode realizar análises estáticas em arquivos .c/.cpp. O conteúdo principal da análise inclui análise de fluxo de controle, análise de fluxo de dados, cálculo de métricas básicas, inspeção de violações de regras de código, etc. Ele pode exibir o relacionamento de chamada entre funções e o gráfico de fluxo de controle da função. As regras de codificação são baseadas no MISRA e analisam cerca de 60 problemas comuns, como DU, DD, UR e operações de tipo misto. Para problemas detectados, o sistema fornecerá a localização, a causa e as regras correspondentes para facilitar aos usuários a verificação e melhoria do problema e a correção eficiente do problema para melhorar a qualidade do código. Características: 1. Boa facilidade de uso. Basta abrir o arquivo para concluir a análise e o usuário poderá visualizar o gráfico do fluxo de controle, as métricas e os resultados da verificação de regras da função de interesse. 2. Forte inclusão. Ele pode ser aplicado a quase todos os arquivos de programa c/c++ que podem ser compilados e transmitidos. 3. Indicadores completos. O sistema calcula centenas de métricas para avaliar o código de forma abrangente e objetiva. 4. Regras de qualidade ricas. Verifique centenas de regras de qualidade práticas integradas para detectar violações de regras no código na medida do possível. O conteúdo principal da última atualização da versão 1.5 do sistema de análise estática Yutian é: 1. Adicionadas apenas 10 regras de código 2. Resolvido o erro falso positivo na análise estática de que a função que usa o modelo stl como parâmetro não está implementada 3. Resolvida a definição da variável do tipo de modelo stl e análise 4 Resolver o problema de análise de definição incorreta de funções com parâmetros de valor padrão 5 Refinar a análise variável de parâmetros reais de chamadas de função (anteriormente, eles eram processados únicamente como referências)
Expandir
