OSDN -- Développer et télécharger des logiciels Open Source
Traduction statut du Français translation status for fr

RSS
Télécharger la liste

Description du projet

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.

Système requise

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2008-10-15 18:32
1.0

Il s'agit de la première version publique de lierre. Il incorpore l'adjoint précédemment disponibles (type de sécurité pour les C) et HeapSafe (mémoire gestion de la sécurité pour les C) projets. Il ajoute une nouvelle composante, SHARC, qui vous permet de vérifier que les données de partager vos threaded programs C comme vous l'avez prévu. En particulier, il prévient et / ou détecte toutes les races de données. SHARC est dans un état plus expérimental et mai imposent d'importants frais généraux d'exécution dans certains programmes.
Tags: Initial freshmeat announcement
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.

Project Resources

Project Page Télécharger: Debian Package (deb) Page d'accueil Télécharger: Liste Télécharger: RPM Télécharger: TGZ