Skip to main content

TS

Goanna – fast, flexible static analysis with OCaml

Authors

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

NICTA

UNSW

Abstract

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

  @misc{Bradley_CFGH_12_2,
    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}},
    type             = {Abstract},
    booktitle        = {ML12}
  }

Download

Served by Apache on Linux on seL4.