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 
(http://manju.cs.berkeley.edu/cil/) for high-level manipulation of C source 
code, which is interesting in its own right.
_______________________________________________
sweetcode mailing list
http://lists.ofb.net/listinfo/sweetcode