Goanna Central
Goanna Central is the command line and build server edition of our C/C++ static analysis products. Below there are just a few of the distinctive features of Goanna Central. Get a free download to trial it yourself.
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, or scons. Goanna Central is not tied to any particular IDE, but is designed for server-side deployment. However, since Goanna Central can report warnings in the same fashion as the as the compiler, it often naturally integrates with many existing C/C++ IDEs.
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.
Incremental Analysis
Goanna Central can store digital fingerprints of earlier analyzed functions in a database to prevents potentially costly re-analysis when the function has not functionally changed.
Abstract Data Tracking
Goanna Central automatically tracks potential ranges of variables, detecting possible buffer overflows or infeasible paths.
Over 100 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.
Error Traces
Goanna Central can report error traces to source code bugs for better understanding their causes.
Personalized Configuration
All checks can be individually selected and configured for a particular analysis run.
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.
Availability
Goanna Central is available for Linux (gcc based compilers) and Microsoft Windows (Visual Studio projects and mingw/gcc projects).
For detailed information see also the FAQ section.
