CCured
CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.
[ Homepage ]
| Author: | Scott McPeak, George Necula, Jeremy Condit, Matthew Harren, and Westley Weimer. |
| Last modification date: | 26-May-2003 |
| Version: | 1.2.5 |
| Development status: | Stable |
| Kind: | Applications written in Caml :: Scientific software |
| Topic: | Programming languages :: Program analysis |
| Homepage: | http://manju.cs.berkeley.edu/ccured/ |