Red Lizard - Goanna

Goanna™ is the leading static C/C++ code analysis solution for safety critical embedded software. An essential component for ensuring compliance with safety standards such as DO-178B, ISO 26262, and MISRA, and combining the latest program verification research with seamless IDE and build server integration, Goanna™ is one of the easiest and most powerful solutions for creating code confidence on your desktop. Customers of Goanna verification tools include automotive, aerospace, defense, medical, and mission-critical embedded systems companies from around the world.

Goanna Software is developed by Red Lizard Software Pty Ltd in Australia. Polelink is in charge of Goanna product’s marketing, sales and technical support in China.

Goanna Software Screenshot (click to enlarge)

Features of Goanna Software:


CATCH SOFTWARE DEFECTS BEFORE THEY GET INTO YOUR PRODUCT：Goanna™ deep static analysis automatically finds defects in your C/C++ programs using only the source code. No compilation, simulation, or execution required. By detecting bugs at the earliest possible phase of the development cycle, you can improve product quality; reduce cost; save development time; get your product to market faster.
Goanna™ integrates seamlessly with most IDE’s and build environments, placing the power of deep static analysis at your fingertips with just a single click. No lengthy setup costs or disruption to your existing workflow.

UNIQUE TRACE SIMULATOR: Goanna™ can “replay” traces of complex bugs directly in your IDE, allowing you to pinpoint the root cause of defects faster.

Goanna Software Trace Simulator

LIVE INCREMENTAL ANALYSIS: Goanna™ only reanalyzes the parts of your program that have changed since the last run, allowing rapid test/debug cycles without waiting hours for a rebuild.

Goanna Software Incremental Analysis

INDUSTRY STANDARDS: Goanna™ verifies compliance with a number of industry safety and security standards: CERT, ISO 26262, CWE, MISRA C:2004, DO-178B, MISRA C++:2008.

CUSTOMIZABLE CHECKS Checks are easily customizable for your company’s standards and requirements.

AWARD-WINNING TECHNOLOGY: Goanna™ incorporates advanced Turing award-winning model checking technology, providing complete coverage of all execution paths in even the most complex functions.

Goanna Software Complete Path Coverage

PATH-SENSITIVE WHOLE PROGRAM ANALYSIS: Goanna™’s unique patent pending technology for whole program interprocedural analysis can find defects across call chains spanning many function and file boundaries, to arbitrary depth.

Goanna Software Complete Code Analysis

ABSTRACT DATA TRACKING: Goanna™ tracks values, sizes, and address calculations at all points in your program, finding bugs that can easily be missed by testing and manual inspection alone.

Goanna Abstract Data Tracking

OVER 250 HIGH-VALUE CHECKS: Null pointer bugs; Array overruns; String overruns; Memory leaks; Memory corruption; Double frees; Security flaws; Bad constructs; Uninitialized values; Dead code; Arithmetic errors; Portability bugs; Division by zero; Unsafe libraries; Plus unlimited possibilities with user defined checks.

GRAPHICAL REPORTING AND VISUALIZATION: Defects can be charted graphically via an easy-to-use web interface, providing an instant visualization of defect history and problem areas. Color coded charts allow developers to instantly recognize issues and zero in on trouble spots as soon as they arise.

Goanna Software Reporting and Visualization

INTEGRATED DASHBOARD AND METRICS: Goanna™ is bundled with a fully integrated Sonar™-based dashboard, providing additional static analysis, dynamic testing, cyclomatic complexity, code coverage metrics, unit test metrics, duplication metrics and much more.

Sonar : Goanna Software Integrated Dashboard

Red Lizard Software is the leading provider of integrated C/C++ source code analysis tools for mission-critical industries. Being the first company to combine the automated technologies of static analysis and model checking Red Lizard Software’s goal is to bring higher quality software to market faster.

Red Lizard Software’s flagship products Goanna Studio and Goanna Central detect software bugs automatically, save software development and debugging time, and prevent the potential waste of millions of dollars during product development.
History

Red Lizard Software Ltd is a software technology company founded in 2009 . The technology underpinning the Goanna products is continually advanced by NICTA, Australia’s leading nation-wide research & development center for information and communication technology.

Red Lizard Software is an active participant of SAMATE, a software assurance initiative by National Institute of Standards & Technology and the Department of Homeland Security’s National Cyber Security Division. Since 2010 Red Lizard Software is a Microsoft VSIP partner and “sim-shipping” with the latest releases of Visual Studio.

07-02-2013