issues . please help improve it or discuss these issues on the talk page . learn how and when to remove these template messages the topic of this article may not meet wikipedia s notability guidelines for products and services . please help to establish notability by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond its mere trivial mention . if notability can not be established the article is likely to be merged redirected or deleted . find sources red lizard software news newspapers books scholar jstor free images september 2010 learn how and when to remove this template message this article relies largely or entirely upon a single source . relevant discussion may be found on the talk page . please help improve this article by introducing citations to additional sources . september 2010 learn how and when to remove this template message red lizard software type proprietary limited company industry software founded 2009 headquarters sydney australia products goanna static analysis number of 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 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 external links edit software testing portal official website nicta r & d website retrieved from https en.wikipedia.org w index.php title red lizard software & oldid 733819502 categories static program analysis toolshidden categories articles with topics of unclear notability from september 2010all articles with topics of unclear notabilityarticles needing additional references from september 2010all articles needing additional referencespages using infobox company with unsupported parametersofficial website different in wikidata and wikipediause dmy dates from september 2010 navigation menu personal tools not logged intalkcontributionscreate accountlog in namespaces article talk variants views read edit view history more search navigation main pagecontentsfeatured contentcurrent eventsrandom articledonate to wikipediawikipedia store interaction helpabout wikipediacommunity portalrecent changescontact page tools what links hererelated changesupload filespecial pagespermanent linkpage informationwikidata itemcite this page print export create a bookdownload as pdfprintable version languages add links this page was last modified on 10 august 2016 at 09 15 . text is available under the creative commons attribution sharealike license ; additional terms may apply . by using this site you agree to the terms of use and privacy policy . wikipedia is a registered trademark of the wikimedia foundation inc. a non profit organization . privacy policy about wikipedia disclaimers contact wikipedia developers cookie statement mobile view