Red Lizard Software

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Red Lizard Software
Type Proprietary Limited Company
Industry Software
Founded 2009
Headquarters Sydney, Australia
Products Goanna Static Analysis
Employees N/A
Website www.RedLizards.com

Red Lizard Software is 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.

Products[edit]

Goanna is a static analysis tool for C and C++ source code. It is provided either as a command line tool ("Goanna Central") 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.[1][2]

References[edit]

  1. ^ 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, October 20–23, 2008 .
  2. ^ 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, June 6–8, 2007

External links[edit]