|
| Español / English |
| ||
|
2002.11.15 CCured (#) "CCured is a source-to-source translator for C, which analyzes the program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. Many programs can be made memory-safe this way while losing only 10--20% run-time performance." Think of it as bounds checking for C that's fast. CCured uses the CIL toolkit for high-level manipulation of C source code, which is interesting in its own right. |
