- Source: Red Lizard Software
Mystery Island (2023)
Aurora Teagarden Mysteries: A Lesson in Murder (2024)
The Blue Max (1966)
Doraemon the Movie: Nobita’s Earth Symphony (2024)
Lone Star (1996)
Annabelle: Creation (2017)
The Avenging Eagle (1978)
RocketMan (1997)
Five Nights at Freddy’s (2023)
Crank: High Voltage (2009)
No More Posts Available.
No more pages to load.
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.