Red Lizard Software

---

title: "Red Lizard Software" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["static-program-analysis-tools"] description: "Software Vendor of Static Analysis Tools" topic_path: "general/static-program-analysis-tools" source: "https://en.wikipedia.org/wiki/Red_Lizard_Software" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Software Vendor of Static Analysis Tools ::

::data[format=table title="Infobox company"]

Field	Value
name	Red Lizard Software
logo	Goanna-logo thumb.jpg
type	Proprietary Limited Company
foundation	2009
fate	Acquired by Synopsys in 2015.
location_city	Sydney
location_country	Australia
industry	Software
products	Goanna Static Analysis
num_employees	N/A
homepage
::

|name = Red Lizard Software |logo = Goanna-logo thumb.jpg |type = Proprietary Limited Company |foundation = 2009 |fate = Acquired by Synopsys in 2015. |location_city = Sydney |location_country = Australia |industry = Software |products = Goanna Static Analysis |num_employees = N/A |homepage = |footnotes = Red Lizard Software 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 and merged into the Coverity product line.

Products

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". Goanna was based on model checking techniques and performs an automated semantics code analysis for detecting quality as well as security software bugs.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

References

References

1. [https://www.bloomberg.com/profile/company/1364217D:AU Goanna Software Pty Ltd, doing business as Red Lizard Software], Bloomberg, 2021
2. [http://www.prnewswire.com/news-releases/synopsys-bolsters-software-integrity-platform-with-acquisition-of-static-code-analysis-vendor-goanna-software-300195178.html Synopsys Bolsters Software Integrity Platform with Acquisition of Static Code Analysis Vendor Goanna Software], December 2015
3. "Goanna Studio - Static Analysis for C/C++".

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::