Goanna Studio
Below there are just a few of the distinctive features of Goanna Studio. Get a free download to trial it yourself.
Cutting Edge Technology
Goanna uses advanced model-checking technology delivering high-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 functionally changed.
Abstract Data Value Tracking
Goanna Studio automatically tracks potential ranges of variables, detecting possible buffer overflows or infeasible paths.
Over 90 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. This includes:
- memory leaks
- buffer overruns
- memory corruptions
- null pointer dereferences
- unsafe pointer arithmetic
- use after free
- inconsistent free
- constructor/deconstructor leaks
- misuse of virtual member calls
- arithmetic errors
- uninitialized/unused variables,
- redundant/unneeded code
- division by zero
- 32/64-bit compatibility
- etc.
Analyze Files, Projects, Solutions
Goanna Studio for Microsoft Visual Studio supports the analysis of whole solutions, single projects and even selected set of files for quick analysis.
Unique Path Simulator
Goanna Studio supports the "replay" of bugs directly in the IDE to better understand its cause.
Deep IDE Integration
The deep interaction with Microsoft Visual Studio and Eclipse/CDT on guarantees a familiar development environment and simple controls for all Goanna features.
Personalized Configuration
All checks can be individually selected and in Visual Studio different setting for particular projects are supported within the same solution.
Reporting and Exporting
Final analysis results can be expect in the error list of Visual Studio and Eclipse, can be summarized file and defect type, and can be exported as CSV for further triage.
For detailed information see also the FAQ section.
