Red Lizard Software
Appearance
![]() | |
Company type | Proprietary Limited Company |
---|---|
Industrie | Software |
Gegründet | 2009 |
Fate | Acquired by Synopsys in 2015. |
Hauptsitz | Sydney , Australien |
Produkte | Goanna Static Analysis |
Number of employees | K.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.
Produkte
[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