fmII
Sat, Jul 26th home | browse | articles | contact | chat | submit | faq | newsletter | about | stats | scoop 20:31 UTC
in
Section
login «
register «
recover password «
[Project] add release | add branch | add screenshot | broken links | change owner | email subscribers | update project | update branch (urls) [Project]

 CCured - Default branch
Section: Unix

 

Added: Sun, Mar 9th 2003 01:37 UTC (5 years, 4 months ago) Updated: Mon, Jun 2nd 2003 02:17 UTC (5 years, 1 month ago)


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:
(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

 
Project admins: [change]
» Ed Avis (Owner)

» Rating: (not rated)
» Vitality: 0.00% (Rank 21437)
» Popularity: 0.37% (Rank 15123)

project statsdownload stats
(click to enlarge graphs)
   Record hits: 4,157
   URL hits: 1,659
   Subscribers: 8

Other projects from the same categories:
Krumo
Sajax
RFCutil
Smieciuch++
NoBug

Users who subscribed to this project also subscribed to:
DOSemu
Bandwidth Utilization Billing and Basic Accounting
OpenSSI
Pike
cvs-nserver


Add comment · Rate this project · Subscribe to new releases · Ignore this project · Email this project to a friend · Project record in XML

 Branches

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



© Copyright 2008 SourceForge, Inc., All Rights Reserved.
About freshmeat.net •  Privacy Statement •  Terms of Use •  Trademark Guidelines •  Advertise •  Contact Us • 
ThinkGeek •  Slashdot  •  Linux.com •  SourceForge.net  •  Jobs