Goanna Studio for Visual Studio Goanna Studio for Eclipse (Windows/Linux) Goanna Central (Windows/Linux)
Static Analysis C/C++ C/C++ C/C++
Advanced model checking engine ✓ ✓ ✓
Deep semantics analysis ✓ ✓ ✓
Fast path exploration ✓ ✓ ✓
Interprocedural analysis ✓ ✓ ✓
100% local path coverage ✓ ✓ ✓
Abstract data tracking ✓ ✓ ✓
High Value Analysis ✓ ✓ ✓
Detects hard-to-find bugs ✓ ✓ ✓
Detects crashes, memory leaks, security vulnerabilities ✓ ✓ ✓
Full C++ support ✓ ✓ ✓
Expanding check data base ✓ ✓ ✓
Configurable checks ✓ ✓ ✓
Error Path Simulator ✓ ✓ ✓ (Navigation via Dashboard)
Low Setup Costs ✓ ✓ ✓
Pure desktop install ✓ ✓
“Double-click” installation ✓ ✓ (Eclipse wizard) ✓ (Windows only)
No annotation required ✓ ✓ ✓
No process changes required ✓ ✓ ✓
Runs on single files ✓ ✓ ✓ (like compiler)
Runs on projects ✓ ✓ ✓
Run on solution ✓ ✓ (MSVC version)
Full IDE Integration ✓ ✓
Visual Studio Standard ✓
Visual Studio Professional ✓
Visual Studio Team Systems ✓
Eclipse standard ✓
Configuration in IDE ✓ ✓
Reporting ✓ ✓ ✓
CSV Export ✓ ✓ ✓
Full Build Integration ✓
Continuous build integration ✓
Working with make, cmake, scons ✓
Configuration file for checks ✓ ✓ ✓
Customized XML output ✓ (gcc/mingw versions)
Platforms Windows Windows, Linux Windows, Linux
Compilers Microsoft Visual C++, GCC (on Atmel Studio only) GCC, QNX QCC, TI Build Tools GCC, Microsoft Visual C++, QNX QCC, TI Build Tools
Simple and Fair Licensing ✓ ✓ ✓
Annual per seat pricing ✓ ✓ ✓
No minimum number of seats ✓ ✓ ✓
No minimum code size ✓ ✓ ✓
Free evaluation copy ✓ ✓ ✓
Free updates ✓ ✓ ✓
Included Support ✓ ✓ ✓
Email ticketing system ✓ ✓ ✓

 

For more information also visit the FAQ section.