Le système d'analyse statique Yutian peut effectuer une analyse statique sur les fichiers .c/.cpp. Le contenu principal de l'analyse comprend l'analyse du flux de contrôle, l'analyse du flux de données, le calcul des métriques de base, l'inspection des violations des règles du code, etc. Il peut afficher la relation d'appel entre les fonctions et le graphique de flux de contrôle de la fonction. Les règles de codage sont basées sur MISRA et analysent près de 60 problèmes courants tels que les opérations DU, DD, UR et de type mixte. Pour les problèmes détectés, le système fournira l'emplacement, la cause et les règles correspondantes pour permettre aux utilisateurs de vérifier et d'améliorer le problème, et de corriger efficacement le problème pour améliorer la qualité du code. Caractéristiques : 1. Bonne facilité d’utilisation. Ouvrez simplement le fichier pour terminer l'analyse, et l'utilisateur peut afficher le graphique du flux de contrôle, les mesures et les résultats de la vérification des règles de la fonction qui l'intéresse. 2. Forte inclusivité. Il peut être appliqué à presque tous les fichiers de programme c/c++ qui peuvent être compilés et transmis. 3. Indicateurs complets. Le système calcule des centaines de métriques pour évaluer le code de manière complète et objective. 4. Règles de qualité riches. Vérifiez des centaines de règles de qualité pratiques intégrées pour détecter autant que possible les violations des règles dans le code. Le contenu principal de la dernière mise à jour version 1.5 du système d'analyse statique Yutian est : 1. Ajout de seulement 10 règles de code 2. Résolution de l'erreur de faux positif dans l'analyse statique selon laquelle la fonction utilisant le modèle stl comme paramètre n'est pas implémentée 3. Résolution de la définition de variable du type de modèle stl et analyse 4 Résoudre le problème de l'analyse de définition incorrecte des fonctions avec des paramètres de valeur par défaut 5 Affiner l'analyse variable des paramètres réels des appels de fonction (auparavant, ils étaient traités de manière unique comme références)
Développer
