• Semantic C/C++ Code Analysis Semantic C/C++ Code Analysis

    Our Goanna static analysis products help to automatically prevent implementation bugs and security vulnerabilities such as:

    • software crashes
    • memory leaks
    • divisions by zero
    • security holes
    Continue Reading
  • Safety Critical Development Safety Critical Development

    Goanna supports safety and mission critical software development.  We deliver premier solutions for embedded systems companies around the globe supported by expert partners.

    • CWE support
    • NIST SAMATE participant
    • Defence tool provider
    Continue Reading
  • Build Server & IDE Support Build Server & IDE Support

    Goanna Studio and Goanna Central are available for Microsoft Windows and Linux platforms. Our solutions can be embedded into existing processes and tools.

    • Eclipse & Visual Studio integration
    • Command line & build support
    • Embedded cross-compiler support
    Continue Reading
  • Embedded Systems Embedded Systems

    Goanna integrates with leading embedded systems development kits, IDEs and compilers. Through our partner network we can provide complete development solutions for your needs.

    Continue Reading

Goanna Static Analysis for Safety Critical C/C++.
Detect Bugs. Improve Security. Create Code Confidence.

Goanna Studio
for Visual Studio

Deep IDE integration, project specific configuration, better understanding with error traces, and straight forward reporting.
Run Goanna with the click of a button.

Goanna Studio
for Eclipse

The power of deep C/C++ analysis integrated in the world's most popular IDE. Settings, traces, reporting and Makefile integration. Works with many embedded compilers.

Goanna Central
for Command Line Build

Full flexibility and precise C/C++ analysis for build process integration. Advanced features, supporting cross-compilation and safety critical embedded development.

Why Goanna?

100% automated whole program analysis for detecting hard to find C/C++ vulnerabilities.

Unrivalled integration into IDEs and build systems to keep processes as they are and speed up high-quality development.

Best breed technology based on automated verification research coming out of NICTA labs.

 

New: Website Update

Welcome to our new website! We just redesigned our website to create a smoother
customer experience and enable us to quickly apply content and functionality changes.
New features will be rolled out in the next few weeks. If you have any questions or
detect a problem, please email us!  

 

Customers and Partners