Goanna - Statische Analyse

Automatisiert, integriert, technologisch führend

goanna smlGoanna ist eines der führenden Tools für statische Analysen. Das Tool ermöglicht die vollautomatische Analyse ganzer Programme um gut "versteckte" C/C ++ Programmfehler zu findende - einschliesslich Zugriffsübertretungen, Array & String Übertretungen, Lecks im Speicher, Sicherheitsfehler und arithmetische Fehler. Und dies ohne Kompilation, Simulation oder Ausführung!

Goanna ist standardmässig mit vielen IDE's und Build Systems integrierbar. Das Tool findet Programmfehler früh im Entwicklungszyklus... effektiv und bevor kostspielige Korrekturen notwendig werden.

Die innovativen Technologien hinter Goanna basieren auf den neuesten Forschungserkenntnissen im Bereich automatisierte Verifizierung der NICTA (National ICT Australia) Laboratorien.

Goanna ist leicht zu installieren und integriert sich einfach in vorhandene Infrastrukturen. Für eine effiziente Anwendung wird eine eintägige Schulung empfohlen.

 

Funktionalitäten

  • Model Checking - Model Checking ist eine preisgekrönte Technologie welche selbst bei komplexesten Anwendungen die Abdeckung aller Execution Paths sicher stellt.
  • Interprocedural Analysis - die patentierte Technologie von Goanna analysiert den Datenfluss sowie Abhängigkeiten des ganzen Programms und umfasst verschiedenste Funktionen und Dateien in beliebiger Tiefe.
  • Abstract Data Tracking - Goanna entdeckt Speicher-Überlastungen, Zugriffsübertretungen, Lecks in Speichern, Sicherheitsverletzungen, Overflows, arithmetische Fehler und vieles mehr. Die meisten dieser Fehler werden bei Tests oder manuellen Inspektionen nicht gefunden.
  • Industry Standards - Goanna verifiziert die Übereinstimmung mit Industrie-Standards wie CERT C/C ++, CWE codiert, - 178B, ISO 26262, MISRA C:2004 und MISRA C ++:2008 TUT.
  • Customizable - die Checks können einfach an bestehende Standards und Bedürfnissen angepasst werden. Vorhandene Kontrollen oder Testprozesse können integriert und somit die Entwicklung noch effizienter gestaltet werden.
  • Integration - Goanna ist nahtlos integrierbar mit verschiedenen IDE'S (unter anderen Atmel, Atollic, Eklipse, FreeScale, IAR, Infineon, Keil, Mentor, Microsoft, QNX, TI, Wind River) sowie mit Build und kontinuierlichen Integrationsplattformen wie Make, CMake, SCons, Jenkins...
  • Unique Trace Simulator - Goanna kann die Herkunft komplizierter Programmfehler direkt in das IDE einspielen - somit wird die Ursache von Fehlern direkt an der Wurzel erkannt und behoben.
  • Live Incremental Analysis - Goanna analysiert nur die Teile des Programms, welche sich seit dem letzten Lauf geändert haben. Die Test- & Debug-Zyklen dauern daher nur Sekunden (... und nicht Stunden).
  • Reporting & Metrics - integrierte Werkzeuge für die farbcodierte Visualisierung von Fehlern, deren Herkunft sowie von Problemgebieten. Weiterer Nutzen kann mit vollintegrierten SonarTM Dashboards erziehlt werden.

Goanna ist in verschiedenen Ausführungen verfügbar - abhängig vom jeweils vorhandenen Workflow. Die Lizenzierung wie auch die (sehr wettbewerbsfähigen) Kosten sind gebrauchsabhängig - Server- oder Benutzerbasiert.

Goanna Studio kann standardmässig in viele IDE's integriert werden. Entwickler müssen nicht zwischen verschiedenen Tools hin- und her wechseln. Dies spart Zeit, schafft klare Verhältnisse und erhöht die Produktivität und Motivation der Entwickler.

Goanna Central ist ein eigenständiges Produkt, welches für Server und Command Line-Umgebungen entworfen wurde. Goanna Central kann als Front-End für fast jeden Compiler konfiguriert werden und dessen Output dank tiefgreifenden statischen Source Code Analysen verbessern. Goanna Central kommt auch zum Einsatz wenn es darum geht, IDE's, welche auf externen Compiler oder auf Command Line Tools (z.B. IAR, Keil) laufen, zu integrieren.

Impressum & AGBs | Standorte   Copyright © 2016

EVOCEAN GmbH | Grundstrasse 8 | CH-6343 Rotkreuz | Tel + 41 41 790 78 88 | Fax + 41 41 790 78 93 | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!
EVOCEAN GmbH | Fischhof 3/6 | A-1010 Wien | Tel + 43 1 740 40 8035 | Fax + 43 1 740 40 8036 | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!
EVOCEAN Deutschland GmbH | Karlstrasse 35
 | D-80333 München | Tel + 49 89 452 352 191 | Fax + 49 89 452 352 110 |Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!