Research Publications

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.