Red Lizard Software
 | |
| 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.
Products[edit]
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]
References[edit]
- ^ Goanna Software Pty Ltd, doing business as Red Lizard Software, Bloomberg, 2021
- ^ Synopsys Bolsters Software Integrity Platform with Acquisition of Static Code Analysis Vendor Goanna Software, December 2015
- ^ "Goanna Studio - Static Analysis for C/C++".
- ^ Ansgar Fehnker, Joerg Brauer, Ralf Huuck, Sean Seefried. Goanna: Syntactic Software Model Checking. 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, Korea, 20–23 October 2008 .
- ^ Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch. Model Checking Software at Compile Time. Proceedings of the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, 6–8 June 2007