Goanna - A Static Model Checker

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)

Abstract

In this work we present Goanna, the first tool that uses an off-the-shelf model checker for the static analysis of C/C++ source code. We outline its architecture and show how syntactic properties can be expressed in CTL. Once the properties have been defined the tool analyses source code automatically and efficiently. We demonstrate its applicability by presenting experimental results on analysing OpenSSL and the GNU coreutils.
Original languageEnglish
Title of host publicationFormal Methods: Applications and Technology
Subtitle of host publication11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
EditorsLubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol
PublisherSpringer
Pages297-300
Number of pages4
ISBN (Electronic)978-3-540-70952-7
ISBN (Print)978-3-540-70951-0
DOIs
Publication statusPublished - 2006
Externally publishedYes
Event11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006 - Bonn, Germany
Duration: 26 Aug 200627 Aug 2006
Conference number: 11

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume4346

Workshop

Workshop11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006
Abbreviated titleFMICS 2006
CountryGermany
CityBonn
Period26/08/0627/08/06

Fingerprint Dive into the research topics of 'Goanna - A Static Model Checker'. Together they form a unique fingerprint.

  • Cite this

    Fehnker, A., Huuck, R., Jayet, P., Lussenburg, M., & Rauch, F. (2006). Goanna - A Static Model Checker. In L. Brim, B. R. Haverkort, M. Leucker, & J. V. D. Pol (Eds.), Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers (pp. 297-300). (Lecture Notes in Computer Science; Vol. 4346). Springer. https://doi.org/10.1007/978-3-540-70952-7_20