| 词条 | Red Lizard Software |
| 释义 |
}}{{Infobox company |name = Red Lizard Software |logo = Goanna-logo thumb.jpg |type = Proprietary Limited Company |foundation = 2009 |location_city = Sydney |location_country = Australia |industry = Software |products = Goanna Static Analysis |num_employees = N/A |homepage = {{URL|www.redlizards.com}} |footnotes = }}Red Lizard Software was 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. In December 2015, the company was acquired by Synopsys.[1] ProductsGoanna 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.[2][3]References1. ^Synopsys Bolsters Software Integrity Platform with Acquisition of Static Code Analysis Vendor Goanna Software, December 2015 2. ^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 . 3. ^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{{Portal|Software Testing}}
1 : Static program analysis tools |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。