goanna central

For command line build

Goanna Central is a flexible command line solution that integrates seamlessly and flexibly with common build tools such as make, cmake, or scons.  Your build process does not have to change, as Goanna Central can be configured as a front end for almost any compiler, augmenting its output with the results of its deep static source code analysis.

Goanna Central is not tied to any particular IDE, but is designed for server-side deployment. The complete history of analysis runs can be made accessible remotely for browsing, sorting, and filtering via a web interface, through any browser.

Goanna Central also integrates with software quality platforms such as Codehaus Sonar.

Goanna Central can also be integrated with many C/C++ IDEs including IAR Embedded Workbench and Keil µVision.

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

Full Flexibility for Build Integration Goanna Central is a flexible command line solution that integrates seamlessly and flexibly with common build tools such as make, cmake, and scons.

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

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

Abstract Data Tracking Goanna Central automatically tracks potential ranges of variables, detecting possible buffer overflows or infeasible paths.

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.

Error Traces Goanna Central can report error traces to source code bugs for better understanding their causes.

Reporting and XML Output Goanna Central can report bugs in a similar fashion as the compiler does to seamlessly integrate with existing processes. On top of that Goanna Central supports customized XML output for further parsing and third party tool integration.

Feature Matrix
Goanna Central for Windows Goanna Central for Linux
Static Analysis 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 ✓ install script
No annotation required ✓ ✓
No process changes required ✓ ✓
For more information also visit the FAQ section.
Integration
GNU C/C++ ✓ Goanna Central has built-in support for GNU C/C++ including most language extensions.  Goanna Central supports most C++11 language features recently added by GCC. 
Keil ARM Development Platform ✓ Goanna Central has built-in support for the Keil ARM development platform including Keil µVision IDE and the ARM compiler toolchain.  See our Keil integration page for more information.
IAR Embedded Workbench ✓ Goanna Central has built-in support for IAR Systems Embeded Workbench.  See our IAR integration page for more information.
Sonar Code Quality Platform ✓ Goanna Central comes with Goanna-enabled version of Sonar.  Contact us for more information. 
For more information also visit the FAQ section.

What's next?