IvyCompiler and runtime library for an extended dialect of C that checks type, memory and concurrency safety | |
Download |
Ivy Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- Ivy Team
- Publisher web site:
- http://ivy.cs.berkeley.edu/ivywiki/index.php/Main/HomePage
- Operating Systems:
- macOS
- File Size:
- 1.5 MB
- Release Date:
- 2021-06-18 08:33:53
Ivy Tags
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