CCured: Type-safe retrofitting of legacy code

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2002, Pages 128-139

  Necula, George C ^a   McPeak, Scott ^a   Weimer, Westley ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SYSTEMS PROGRAMMING; LEGACY SYSTEMS; PROGRAM DEBUGGING;

INFERENCE ALGORITHM; LEGACY CODE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036040304     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. Dynamic typing in a statically typed language
2. Efficient detection of all pointer and array access errors
3. Garbage collection in an uncoperative environment
4. Computing with coercions
5. Soft typing
6. Physical type checking for C.
7. Static detection of dynamic memory errors
8. Purify: Fast detection of memory leaks and access errors
9. Global tagging optimization by type inference
10. Effective flow analysis for avoiding run-time checks
11. Backwards-compatible bounds checking for arrays and pointers in C programs
12. Saber-C: An interpreter-based programming environment for the C language
13. A practical approach to type inference for EuLisp
14. A description of the cedar language
15. Debugging via run-time type checking
16. Efficient run-time monitoring using shadow processing
17. Low-cost, concurrent checking of pointer and array accesses in C programs
18. Aggregate structure identification and its application to program analysis
19. Objective ML: A simple object-oriented extension of ML
20. Dynamic typing as staged type inference
21. Coping with type casts in C
22. A sound polymorphic type system for a dialect of C
23. Adding run-time checking to the portable C compiler
24. Quasi-static typing
25. A first step toward automated detection of buffer overrun vulnerabilities
26. A practical soft type system for scheme