Das statische Analysesystem von Yutian kann statische Analysen für .c/.cpp-Dateien durchführen. Der Hauptinhalt der Analyse umfasst die Kontrollflussanalyse, die Datenflussanalyse, die Berechnung grundlegender Metriken, die Überprüfung von Verstößen gegen Coderegeln usw. Es kann die Aufrufbeziehung zwischen Funktionen und das Kontrollflussdiagramm der Funktion anzeigen. Die Codierungsregeln basieren auf MISRA und analysieren fast 60 häufige Probleme wie DU, DD, UR und gemischte Operationen. Für erkannte Probleme stellt das System den Ort, die Ursache und entsprechende Regeln bereit, um Benutzern die Überprüfung und Verbesserung des Problems sowie die effiziente Behebung des Problems zur Verbesserung der Codequalität zu erleichtern. Eigenschaften: 1. Gute Benutzerfreundlichkeit. Öffnen Sie einfach die Datei, um die Analyse abzuschließen, und der Benutzer kann das Kontrollflussdiagramm, die Metriken und die Ergebnisse der Regelprüfung der interessierenden Funktion anzeigen. 2. Starke Inklusivität. Es kann auf fast alle c/c++-Programmdateien angewendet werden, die kompiliert und übergeben werden können. 3. Vollständige Indikatoren. Das System berechnet Hunderte von Metriken, um den Code umfassend und objektiv zu bewerten. 4. Reichhaltige Qualitätsregeln. Überprüfen Sie Hunderte integrierter praktischer Qualitätsregeln, um Regelverstöße im Code weitestgehend zu erkennen. Die Hauptinhalte des neuesten Updates der Version 1.5 des statischen Analysesystems von Yutian sind: 1. Nur 10 Coderegeln hinzugefügt. 2. Der falsch positive Fehler in der statischen Analyse, dass die Funktion, die die STL-Vorlage als Parameter verwendet, nicht implementiert ist, wurde behoben. 3. Die Variablendefinition wurde gelöst des STL-Vorlagentyps und der Analyse 4. Lösen Sie das Problem der falschen Definitionsanalyse von Funktionen mit Standardwertparametern. 5. Verfeinern Sie die Variablenanalyse der tatsächlichen Parameter von Funktionsaufrufen (zuvor wurden sie als Referenzen einzeln verarbeitet).
Expandieren
