Goanna Static Analysis by Red Lizard Software

Features

The Goanna C/C++ static code analysis tool is available and fully integrated for all major Visual Studio releases on Microsoft Windows and for Eclipse on Linux.

Goanna checks C/C++ source code automatically for critical issues including:

• memory leaks
• buffer overruns
• memory corruptions
• null point 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
• unspecified behavior
• many others

An in-depth list of checks can be found in the distribution available for download and in the user manuals.

 

Goanna for Windows Goanna for Linux Static Analysis C/C++ C/C++ Advanced model checking engine ✓ ✓ Deep semantics analysis ✓ ✓ Fast path exploration ✓ ✓ 100% local path coverage ✓ ✓ Fully abstract value tracking ✓ ✓ High Value Analysis     Detects hard-to-find bugs ✓ ✓ Detects crashes, memory leaks, security vulnerabilities ✓ ✓ Full C++ support ✓ ✓ Expanding check data base ✓ ✓ Configurable checks ✓ ✓ Automatic error trace generation ✓ ✓ Low Setup Costs     Pure desktop install ✓ ✓ “Double-click” installation ✓ ✓ ( Eclipse wizard) No working build required ✓ ✓ No annotation required ✓ ✓ No process changes required ✓ ✓ Runs on single files ✓ ✓ Runs on projects ✓ ✓ Run on solution ✓ ✓ Full IDE Integration     Visual Studio Standard 2005, 2008, (2010)   Visual Studio Professional 2005, 2008, (2010)   Visual Studio Team Systems 2005, 2008, (2010)   Eclipse   ✓ Simple and Fair Licensing     Annual per seat pricing ✓ ✓ No minimum number of seats ✓ ✓ No minimum code size ✓ ✓ 30 day free evaluation copy ✓ ✓ Free updates in same release ✓ ✓ Secure online purchase ✓ ✓ Included Support     Email ticketing support ✓ ✓ Web self-serve ✓ ✓ Community access ✓ ✓

Our easy to use tool for shortening development time and achieving code confidence provides exceptional Return on Investment and in some cases has paid for itself within one day! Download the 30 day free trial or purchase the product.

System Requirements

Goanna requires very little disk space, RAM or processing power. It runs just fine on standard notebooks and desktops.  Goanna is available for two development platforms: Windows/Visual Studio and Linux/Eclipse.

Windows/Visual Studio

Goanna is integrated right into the Visual Studio environment. Editions are available for Visual Studio 2005 and Visual Studio 2008. Note: Visual Studio Express is not supported.

Linux/Eclipse 

Goanna integrates into the Eclipse IDE. Specifically we support:

• gcc 4.4 or lower
• Eclipse 3.4 or higher
• CDT 4.0 or higher
• Linux (recent 32 or 64-bit versions).

Setup and Integration

You can set up Goanna in almost no time by running the automated installers we provide. Goanna works just like a compiler and requires absolutely zero source code modifications. Just click the Goanna icon to check your code. But it also does more allowing you to trace through your program to see which execution path triggered the warning.