Company type | Proprietary Limited Company |
---|---|
Industry | Software |
Founded | 2009 |
Fate | Acquired by Synopsys in 2015. |
Headquarters | Sydney , Australia |
Products | Goanna Static Analysis |
Number of employees | N/A |
Website | synopsys |
Red Lizard Software[1] was a privately held software vendor for static analysis tools. The company was founded in 2009 as a spinout from the Australia research centre NICTA. It was headquartered in Sydney, Australia. In December 2015, the company was acquired by Synopsys[2] and merged into the Coverity product line.
Goanna was a static analysis tool for C and C++ source code. It provided a command line version ("Goanna Central") as well as an integration into Eclipse or Visual Studio called "Goanna Studio".[3] Goanna was based on model checking techniques and performs an automated semantics code analysis for detecting quality as well as security software bugs.[4][5]