Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Saffire

Saffire

Saffire is a static analysis program that detects bugs in programs that use the OCaml/C foreign function interface. Saffire works by performing type inference across both OCaml and C to make sure that values are used consistently across the language boundary. For instance, if a OCaml passes a record to a C function, that C function should not treat the data as an integer. Saffire also tracks what C variables point into the OCaml heap and ensure they are always registered with CAMLparam/local before any allocation functions are called.
Homepage ]
Author:Michael Furr.
Last modification date:31-May-2005
Development status:Alpha
Kind: Development tools
License: Open Source :: BSD
Topic: Programming languages :: Typing
Science :: Typing
Languages interfaces
Homepage:http://www.cs.umd.edu/~furr/saffire/