Resources Banner
verifysoft

ERWEITERTE STATISCHE CODE-ANALYSE FÜR C/C++

 

Tools für die statische Code-Analyse sind heute ein verbreitetes Instrument zur Erkennung von Fehlern in Code-Sequenzen und zur Verbesserung der Softwarequalität. Die Fähigkeiten aktueller Tools haben sich enorm weiterentwickelt und sowohl kommerzielle als auch Open-Source-Lösungen der vorigen Generationen deutlich überholt.

Die neueste Generation durchsucht gesamte Codes, sie nutzt Programmanalyse und abstrakte Simulation, um den Code zu prüfen, erkennt Probleme, filtert diese und präsentiert die Ergebnisse in nutzerfreundlicher Form.