Goanna: Syntactic software model checking

R Huuck, A Fehnker, S Seefried, J Brauer - International Symposium on …, 2008 - Springer
… Unlike existing approaches Goanna uses the off-the-shelf NuSMV … Goanna’s core
technology, its features and the relevant techniques, as well as our experiences of using Goanna …

[PDF][PDF] Goanna static analysis at the nist static analysis tool exposition

M Bradley, A Fehnker, R Huuck, P Steckler - NIST, Tech. Rep, 2011 - trustworthy.systems
… Goanna Central for Linux. The next section introduces the types of analyzes that Goanna …
Goanna by Red Lizard Software for the Static Analysis Tool Exposition, organized by NIST. …

[PDF][PDF] Extending and evaluating the goanna static model checker

M Lussenburg - 2006 - researchgate.net
… The goal of the Goanna pilot project is to reduce the number of software deficiencies in
system software by static analysis. Our philosophy is that this should happen automatically as far …

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets

S Fu, T Dwyer, PJ Stuckey, J Grundy - arXiv preprint arXiv:2405.12697, 2024 - arxiv.org
… We introduce Goanna, a novel tool that serves as a type … We evaluated Goanna's effectiveness
using 86 diverse Haskell … and heuristics to enhance Goanna's suggestion-based error …

Interprocedural pointer analysis in goanna

J Brauer, R Huuck, B Schlich - Electronic Notes in Theoretical Computer …, 2009 - Elsevier
Goanna is an industrial-strength static analysis tool used in academia and industry alike to
find bugs in C/C++ programs. Unlike existing approaches, Goanna uses the off-the-shelf …

[HTML][HTML] Technology transfer: Formal analysis, engineering, and business value

R Huuck - Science of Computer Programming, 2015 - Elsevier
… and commercializing Goanna, a source code analyzer for detecting software bugs and security
… We believe that Goanna provides some realistic middle ground to address deep software …

[PDF][PDF] Architecture of Embedded System Software.

D Wang - Comput. Inf. Sci., 2008 - pdfs.semanticscholar.org
… Moreover, Goanna can be invoked just like the gcc/g++ compiler and, therefore, … Goanna
on a number of open source packages ranging from highly optimized system software such as …

Cyber security at software development time

M Bradley, A Fehnker, R Huuck - 2011 Defense Science …, 2011 - ieeexplore.ieee.org
… of security properties at software development time. We … Goanna which integrates those
security analysis techniques, and we provide a number of application examples, where Goanna …

[PDF][PDF] Analysing Embedded System Software–Extended Abstract–

A Fehnker, R Huuck, F Rauch, S Seefried - homes.cs.aau.dk
… checker Goanna and its performance on the source of large, real-life open-source software
packages. … We evaluated Goanna on a number of open source packages ranging from highly …

Model checking software at compile time

A Fehnker, R Huuck, P Jayet… - … Aspects of Software …, 2007 - ieeexplore.ieee.org
… , the first C/C++ static source code analyzer using the off-the-shelf model checker NuSMV,
and we demonstrate Goanna’s suitability for developer machines by evaluating its run-time …