Ivy is a compiler and runtime library for an extended dialect of C
that checks type, memory and concurrency safety. Ivy relies on a small
number of lightweight annotations in the source code to keep time and
space overheads reasonable. Ivy is implemented as a C-to-C compiler
using gcc as its backend. The Ivy compiler driver,
Ivy is available
Ivy is effectively three tools in one (from most mature to more experimental):
Currently, HeapSafe and SharC support only 32-bit targets (we need to upgrade the reference-counting support to handle 64-bit pointers).
These tools can be used independently or in any combination by passing the
The following documentation is available:
Finally, ivy-examples-1.0.tar.gz includes a number of single- and multi-threaded C programs converted to use Deputy, HeapSafe and SharC.
A mailing list for Ivy is available (this list also covers the earlier, standalone version of Deputy).
|Page last modified on October 20, 2008, at 12:43 PM|