Skip to main content

Goanna — fast, flexible static analysis with OCaml


Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck




We present our experiences with developing, improving, and main- taining an industrial strength C/C++ static analysis tool whose core is written in OCaml. In particular we focus on integrating several different components with various backgrounds and interfaces, as well as our own domain specific languages.

BibTeX Entry

    author           = {Bradley, Mark and Cassez, Franck and Fehnker, Ansgar and Given-Wilson, Thomas and Huuck, Ralf},
    month            = sep,
    year             = {2012},
    keywords         = {static analysis, ocaml},
    title            = {Goanna --- Fast, Flexible Static Analysis with {OCaml}},
    booktitle        = {ML12},
    paperurl         = {}


Served by Apache on Linux on seL4.