Ivy Compiler and runtime library for an extended dialect of C that checks type, memory and concurrency safety
Download

Ivy Ranking & Summary

Ivy Tags

check compile runtime c runtime memory checker

Ivy Description

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, and this makes the Ivy compiler driver, ivycc, a direct drop-in replacement for gcc. C remains a very widely used systems programming language; it is widely known, supported by many tools, gives good access to low-level hardware... But producing safe and reliable C programs is unnecessarily hard, a particularly significant problem for concurrent programs, and in particular systems code. Modern languages address many of these safety and reliability issues, but porting large systems to a new language is often impractical. Static analyses of C find some problems, but typically do not guarantee safety.Ivy represents an alternate approach: Ivy will be a safe, concurrent language, fully interoperable with C.Ivy is effectively three tools in one (from most mature to more experimental):· Deputy checks type and memory safety (array bounds, unions, use of void *, etc)· HeapSafe checks memory deallocations· SharC checks that memory is shared correctly in parallel programs

Ivy Related Software