| 
|
QuoteRef: necuGC5_2005
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Topic:
dangling pointers
Topic:
parameter passing by reference
Group:
memory management
Topic:
function library
Topic:
type reflection and introspection
Topic:
safety, liveness, and system properties
Topic:
efficiency
Topic:
bugs
Topic:
casting a variable to a different type
Reference
Necula, G.C., Condit, J., Harren, M., McPeak, S., Weimer, W., "CCured: Type-safe retrofitting of legacy software", ACM Transactions on Programming Languages and Systems, 27, 3, May 2005, pp. 477-526. Google
478 ;;Quote: CCured identifies safe pointers, sequence pointers that require bounds check, and wild pointers that require a type checks
481 ;;Quote: CCured identifies forward sequence pointers and other pointer kinds
501 ;;Quote: prevent dereferencing a deallocated heap pointer by replacing malloc with a garbage collector
501 ;;Quote: restrict stack pointers to call-by-reference; can not store in the heap or globals
506 ;;Quote: store metadata for library data structures in a parallel data structure; e.g., another linked list to mirror a linked list
513 ;;Quote: efficient type safety with CCured -- 3-87% time overhead, 1-284% space overhead; Purify and Valgrind are 5x to 130x slower
514 ;;Quote: CCured identified bugs in ks, compress, ijpeg, and go
524 ;;Quote: run-time type information and physical subtyping identify 99% of program casts without usng WILD pointers
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: safe use of pointers (102 items)
Topic: dangling pointers (13 items)
Topic: parameter passing by reference (11 items)
Group: memory management (11 topics, 367 quotes)
Topic: function library (50 items)
Topic: type reflection and introspection (28 items)
Topic: safety, liveness, and system properties (22 items)
Topic: efficiency (96 items)
Topic: bugs (66 items)
Topic: casting a variable to a different type (7 items)