goanna studio

for Microsoft Visual Studio

Goanna Studio for Visual Studio places Goanna’s deep static source code analysis at the fingertips of developers using Microsoft Visual Studio-based IDE’s.

Goanna Studio for Visual Studio provides deep analysis, bug tracing, warning browser, and standards cross references seamlessly integrated with the Microsoft Visual Studio and Atmel Studio 6 IDE’s.  This minimizes process changes and delivers bug detection as the earliest possible stage.

Includes cutting edge model checking technology from the latest research.  Read more

Provides extensive coverage of major industry coding standards.  Read more

Free evaluation Download datasheet
Overview

Cutting Edge Technology Goanna uses advanced model checking technology delivering highly efficient path coverage for all functions.

Whole Program Interprocedural Analysis Goanna Studio supports whole program analysis for checking, e.g., that null pointers are not passed on and dereferenced in other functions.

Incremental Analysis Goanna Studio generates digital fingerprints of earlier analyzed functions and prevents potentially costly re-analysis when the function has not changed.

Abstract Data Value Tracking Goanna Studio automatically tracks potential ranges of variables, detecting possible array overruns, overflows, and arithmetic errors.

Over 200 Classes of Checks Growing number of high-value checks ensure that even more critical bugs can be found at development time. An in-depth list of checks can be found in the distribution available for download and in the user manuals.

Analyze Files, Projects, and Solutions Goanna Studio for Visual Studio supports the analysis of whole solutions, single projects and even selected set of files for quick analysis.

Unique Path Simulator Goanna Studio can "replay" bugs directly in the IDE to better understand its cause.

Reporting and Exporting Analysis results can be filtered by file and defect type, and exported in CSV format for further triage.

Feature Matrix
Goanna Studio 2005 Goanna Studio 2008 Goanna Studio 2010 Goanna Studio 2012 Goanna Studio Atmel Studio 6
Static Analysis C/C++ C/C++ C/C++ C/C++ C/C++
Deep semantics analysis ✓ ✓ ✓ ✓ ✓
Fast path exploration ✓ ✓ ✓ ✓ ✓
Interprocedural analysis ✓ ✓ ✓ ✓ ✓
100% local path coverage ✓ ✓ ✓ ✓ ✓
Abstract data tracking ✓ ✓ ✓ ✓ ✓
Detects crashes, memory leaks, security vulnerabilities ✓ ✓ ✓ ✓ ✓
Expanding check data base ✓ ✓ ✓ ✓ ✓
Configurable checks ✓ ✓ ✓ ✓ ✓
Error Path Simulator ✓ ✓ ✓ ✓ ✓
"Double-click" installation ✓ ✓ ✓ ✓ ✓
No annotation required ✓ ✓ ✓ ✓ ✓
No process changes required ✓ ✓ ✓ ✓ ✓
Runs on single files ✓ ✓ ✓ ✓ ✓
Runs on projects ✓ ✓ ✓ ✓ ✓
Run on solution ✓ ✓ ✓ ✓ ✓
Microsoft Visual C++ ✓ ✓ ✓ ✓
AVR and ARM C/C++ ✓
Microsoft Visual Studio 2005 ✓
Microsoft Visual Studio 2008 ✓
Microsoft Visual Studio 2010 ✓
Microsoft Visual Studio 2012 ✓
Atmel Studio 6.0 and 6.1 ✓
For more information also visit the FAQ section.
Integration
Microsoft Visual Studio 2005 ✓ Goanna supports Microsoft Visual Studio 2005 Standard, Professional, and Team Editions.
Microsoft Visual Studio 2008 ✓ Goanna supports Microsoft Visual Studio 2008 Standard, Professional, and Team Editions.
Microsoft Visual Studio 2010 ✓ Goanna supports Microsoft Visual Studio 2010 Professional, Premium, and Ultimate Editions.
Microsoft Visual Studio 2012 ✓ Goanna supports Microsoft Visual Studio 2012 Professional, Premium, and Ultimate Editions.
Atmel Studio 6 ✓ Goanna supports Atmel Studio 6.0 (6.1 support coming soon) including the AVR GCC and ARM GCC toolchains.  See our Atmel Studio 6 integration page for more details.
For more information also visit the FAQ section.

What's next?