Static Analysis for Safety Critical C/C++
Goanna performs 100% automated whole program analysis for detecting hard-to-find C/C++ bugs, including access violations, array and string overruns, memory leaks, security flaws, and arithmetic errors.
Goanna integrates seamlessly with most IDE’s and build systems, detecting bugs early in the development cycle, well before they get released and become costly to fix.
Goanna is based on cutting edge technology, from the latest automated verification research coming out of NICTA labs.
How many bugs and vulnerabilities lie undetected in your software projects?
Click now to request a free evaluation.
It could save you countless hours of development time.Evaluate now