CodeSonar
CodeSonar, von Grammatech erzeugt, ist Quelle und Binär-Code-Analyse-Software, die kritische Defekte findet, die Systeme, Ergebnis in unerwarteten Operationen, bedrohen die Sicherheit und mehr zum Absturz bringen kann.
- Hochentwickelte Algorithmen ganze Programme von Millionen von Zeilen Code zu analysieren
- Konform mit Coding-Standards
- Bietet Effizienz-Tools, die die Zusammenarbeit im Team, Qualitätsmetriken, Architektur Visualisierung verbessern
- Reduziert Entwicklungskosten durch Defekte früher im Prozess identifiziert
- Stellt benutzerdefinierte Prüfungen und Metriken
- skalierbare
- Identifiziert schwer zu Schienenfehler, dass reside in tiefen Teilen von Codestrukturen
- Die leistungsstarke Schnittstelle ermöglicht Entwicklern die einfache Navigieren durch den Code, zu vergleichen, Elemente und Probleme identifizieren,
- Bietet native Unterstützung für JPL
- Enthält starkes Bericht Generation Features, einschließlich Nur-Text-Ausgabe und eine fortgeschrittene statische Analyse-Engine
- Trusted heute einige der sensibelsten Software-Anwendungen im Einsatz zu inspizieren
- Da statische Code-Analyse durchgeführt wird, kann diese Software nicht in der Lage sein, Mängel durch eine dynamische Analyse gefunden zu identifizieren
- Das Werkzeug ist auf Test Gerüste abhängig, und es kann keine Mängel feststellen, die nicht Teil des Gerüsts sind
- Es erzeugt eine große Menge an Daten, die Ressourcen und beeinträchtigt die Leistungsfähigkeit der Hardware verbraucht
CodeSonar ist ein führendes Code-Analyse-Tool. Es ist beliebt bei den großen Forschungseinrichtungen, Regierungen und kommerzielle Unternehmen wichtige Softwareanwendungen zu validieren. Zum Beispiel hat CodeSonar zu inspizieren Software für die NASA Weltraummissionen, implantierbare medizinische Geräte, kritische militärische Anwendungen verwendet worden, und vieles mehr. CodeSonar Ansprüche mehr Defekte als andere Werkzeuge zu finden, aufgrund Grammatech des jüngsten Fortschritte in der Gleichzeitigkeit und verdorbene Datenflußanalyse. Wenn platziert Kopf-an-Kopf mit konkurrierender Software in Benchmarking-Tests, führt CodeSonar am besten in Ressourcenmanagement, statischen Speichers Identifizierung und Analyse von Gleichzeitigkeit. CodeSonar ist wirksam bei der abgesehen von inkrementelle Updates ganze Programme zu analysieren. Es nutzt zunächst eine Analyse der Ausgangssituation das gesamte Programm zu untersuchen, und dann gilt es eine parallele und inkrementelle Prüfprozess zu täglichen Änderungen zu validieren. CodeSonar identifiziert fatal, kritische und harmlos Mängel, von denen alle in unterschiedlichem Maße von Auswirkungen auf ein Software-System haben. Insgesamt ist dieses Tool zur Validierung Anwendung im großen Maßstab Entwicklungsanstrengungen entwickelt. Seine Analyse-Engine große Mengen an Ressourcen verbrauchen können, so ist es empfehlenswert, dass Analysen auf Hochleistungsmaschinen abgeschlossen sind. Abgesehen von seinem höheren Verbrauch, ist es ein zuverlässiges und führendes Software-Qualitätswerkzeug.