Red Lizard Software is the leading provider of integrated C/C++ source code analysis tools for quality and security. 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 and security vulnerabilities automatically at software development time. Beside deep analysis Goanna supports leading industry standards such as MISRA, CWE, GJB-5369, and CERT.
Goanna integrates in and supports a range of IDEs and compilers including Eclipse, Visual Studio, Keil uVision, TI Code Composer, IAR Workbench and other platforms. Goanna works closely with ARM solutions and integrates both on the server side as well as desktops and laptops for flexible use.
There are no discussions here currently, but as they appear they might have answers you need.