Red Lizard Software
Red Lizard Software was a privately held software vendor for static analysis tools. The company was founded in 2009 as a spinout from NICTA, after four years of research. Its headquarters are in Sydney, Australia. In December 2015, the company was acquired by Synopsys.Products
Goanna is a static analysis tool for C and C++ source code. It is provided either as a command line tool or as an integration into Eclipse or Visual Studio called "Goanna Studio". Goanna is based on model checking techniques and performs an automated semantics code analysis for detecting quality as well as security software bugs.
