SCC is an optimizing C-to-C compiler which implements the extended pointer and array access semantics needed to provide efficient, reliable and immediate detection of memory access errors in unbridled C codes. The safe programming technologies used in SCC are described in the following papers:
Efficient Detection of All Pointer and Array Access Errors, Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi, Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, June 1994.
Efficient Detection of All Pointer and Array Access Errors (extended version), Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi, University of Wisconsin - Madison Technical Report #1197, December 1993. (A longer version of the PLDI '94 paper).
Here are slides from a talk I (Todd Austin) gave at PLDI '94 in Orlando, Florida. The talk detailed the first incarnation of SCC. The implementation details are a bit dated, but the description of the basic technology is still relevant.
The source release for SCC version 1.0.0 is not publicly available from my home page. Please send me e-mail (at email@example.com) for the specifics on its distribution.
SCC is the result of research conducted by Todd Austin, Scott Breach, and Guri Sohi of the Wisconsin Multiscalar Group at the University of Wisconsin - Madison. SCC was written by Todd Austin (firstname.lastname@example.org).