What kind of technology does Goanna use?
Red Lizard Software is a spin-out company of NICTA, Australia’s dedicated ICT research center of excellence. The Goanna technology has been developed by a team of NICTA researchers since 2005. Goanna uses many different techniques, including model checking and constraint solving. Both techniques have been further developed and refined to make them applicable to source code analysis, creating an industry leading static analysis solution. The original inventors of the model checking technologies received the Turing Award (computer science’s equivalent to the Nobel Prize) in 2008.
