Ivy is a compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety. Ivy supports the full C language, and 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.
|Tags||Software Development Compilers|
|Operating Systems||Mac OS X POSIX Linux|
Release Notes: This is the first public release of Ivy. It incorporates the previously available Deputy (type-safety for C) and HeapSafe (memory-management safety for C) projects. It adds a new component, SharC, which allows you to check that your threaded C programs share data as you intended. In particular, it prevents and/or detects all data races. SharC is in a more experimental state and may impose significant runtime overheads in some programs.