C[omp]ute

From: "andrew cooke" <andrew@...>

Date: Mon, 23 Feb 2004 18:36:38 -0300 (CLST)

http://manju.cs.berkeley.edu/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. The resulting program is memory safe,
meaning that it will stop rather than overrun a buffer or scribble over
memory that it shouldn't touch. Many programs can be made memory-safe this
way while losing only 10--60% run-time performance (the performance cost
is smaller for cleaner programs, and can be improved further by holding
CCured's hand on the parts of the program that it does not understand by
itself). Using CCured we have found bugs that Purify misses with an order
of magnitude smaller run-time cost.

From Mark Evans on lambda

Andrew

PS Been away on summer holiday, hence the gap of a few days.

-- 
  __ _ __ ___  ___| |_____   work web site: http://www.ctio.noao.edu/~andrew
 / _` / _/ _ \/ _ \ / / -_)  personal web site: http://www.acooke.org
 \__,_\__\___/\___/_\_\___|  personal gallery: http://www.acooke.org/pancito


_______________________________________________
compute mailing list
compute@...
https://200.83.153.5/cgi-bin/mailman/listinfo/compute