Software Red Lizard - Red Lizard Software - Wikipedia
 | Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)
|
 | |
| Typ | Vlastní společnost s ručením omezeným |
|---|---|
| Průmysl | Software |
| Založený | 2009 |
| Hlavní sídlo | Sydney , Austrálie |
| produkty | Statická analýza Goanna |
Počet zaměstnanců | N / A |
| webová stránka | www |
Software Red Lizard byl soukromým prodejcem softwaru pro statické analytické nástroje. Společnost byla založena v roce 2009 jako spinout od NICTA, po čtyřech letech výzkumu. Její sídlo je v Sydney v Austrálii. V prosinci 2015 společnost získala Synopsys.[1]
produkty
Goanna je statická analýza nástroj pro C a C ++ zdrojový kód. Poskytuje se buď jako nástroj příkazového řádku („Goanna Central“), nebo jako integrace do Zatmění nebo Vizuální studio s názvem „Studio Goanna“. Goanna je založena na kontrola modelu techniky a provádí automatizovanou analýzu sémantického kódu pro detekci kvality i bezpečnosti softwarové chyby.[2][3]
Reference
- ^ Synopsys posiluje platformu softwarové integrity s akvizicí dodavatele softwaru pro statickou analýzu kódu Goanna Software, Prosinec 2015
- ^ Ansgar Fehnker, Joerg Brauer, Ralf Huuck, Sean Seefried.Goanna: Kontrola modelu syntaktického softwaru.6. mezinárodní symposium o automatizované technologii pro ověřování a analýzu (ATVA), Soul, Korea, 20. – 23. Října 2008.
- ^ Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg a Felix Rauch. Software pro kontrolu modelu v době kompilace.Proceedings of the 1st IEEE & IFIP International Symposium on theoretical Aspects of Software Engineering, Šanghaj, Čína, 6. – 8. Června 2007
externí odkazy
- Oficiální webové stránky
- NICTA Webové stránky výzkumu a vývoje