Goanna employs methods such as model checking, inter-procedural analysis and abstract data value tracking to detect bugs and errors in the software. The tool is able to find memory leaks, buffer overflows, illegal memory overwrites, and many more. The analysis can be performed across file boundaries.
Since the tool is easy to install, users can start to assess and, if necessary, improve the quality of any given software just minutes after installing.
The tool is available in two versions: Goanna Central is based on command line input while Goanna Studio can be used in connection with IDEs such as VisualStudio and Eclipse/CDT. The software runs under Windows and Linux. It is available with a computer-bound license or with a floating license.
For more information, visit www.hitex.de/goanna.