About:
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. CCured can find more bugs that Purify misses but with much less run-time cost.

Author:
George Necula and others <necula __at__ cs __dot__ berkeley __dot__ edu> [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://manju.cs.berkeley.edu/ccured/

Trove categories: [change]

[Development Status]		5 - Production/Stable
[Intended Audience]		Developers
[License]		OSI Approved :: BSD License (revised)
[Programming Language]		C
[Topic]		Software Development, Software Development :: Compilers, Software Development :: Testing

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	1.1.2	02-Jun-2003	BSD License (revised)