| 
|
Quote: efficient type safety with CCured -- 3-87% time overhead, 1-284% space overhead; Purify and Valgrind are 5x to 130x slower
Topic:
safety, liveness, and system properties
Topic:
efficiency
Quotation Skeleton
We tested CCured on many real-world C programs … [p. 514] For almost all the benchmarks, CCured's safety … For comparison, we also tried these tests with … [ref], which increased running times by factors of 5-100. … [p. 515] CCured's program transformations incurred a memory overhead … process. … Valgrind slows down instrumented programs by factors of … Both Purify and Valgrind miss many memory errors … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety, liveness, and system properties (22 items)
Topic: efficiency (96 items)