Projects / Ivy C compiler

Ivy C compiler

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
Licenses
Operating Systems
Implementation

Recent releases

  •  15 Oct 2008 09:32

    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.

    Screenshot

    Project Spotlight

    OpenStack4j

    A Fluent OpenStack client API for Java.

    Screenshot

    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.