Research Publications

In 2010 Red Lizard software participated for the first time in the Static Analysis Tool Exposition (SATE) organized by the National Institute of Standards and Technology (NIST) with the static analysis tool \emph{Goanna}. The aim of SATE is to advance static analysis research and solutions that detect serious security and quality issues in source code. Goanna is a static analysis solution for the desktop and server, which find detects bugs in C/C++ source code by a combination of static analysis techniques with model checking technology. This report will give a brief introduction to source code analysis with Goanna, it describes how the submission to SATE was prepared, the results that were obtained, and some of the lessons that were learned in the process.