📄 http:^^www.cs.wisc.edu^~austin^scc.html
字号:
Date: Mon, 11 Nov 1996 20:59:58 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Wed, 01 Nov 1995 15:51:10 GMTContent-length: 2320<html><head><title>SCC: The Safe C Compiler</title></head><p><h1>SCC: The Safe C Compiler</h1><p><h2>What is SCC?</h2><p>SCC is an optimizing C-to-C compiler which implements the extended pointerand array access semantics needed to provide efficient, reliable and immediatedetection of memory access errors in <b><i>unbridled</b></i> C codes. Thesafe programming technologies used in SCC are described in the followingpapers:<blockquote><p><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="ftp://ftp.cs.wisc.edu/sohi/safe-c.PLDI94.ps.Z"> <i>Efficient Detection of All Pointer and Array Access Errors</i></a>, 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.<br><p><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="ftp://ftp.cs.wisc.edu/tech-reports/reports/93/tr1197.ps.Z"> <i>Efficient Detection of All Pointer and Array Access Errors (extended version)</i></a>, Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi, University of Wisconsin - Madison Technical Report #1197, December 1993. <i>(A longer version of the PLDI '94 paper)</i>.<br></blockquote><p>Here are <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.wisc.edu/~austin/talk.scc">slides</a> from a talk I (<!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.wisc.edu/~austin/austin.html">Todd Austin</a>) gave at PLDI '94 in Orlando, Florida. The talk detailed the firstincarnation of SCC. The implementation details are a bit dated, but thedescription of the basic technology is still relevant.<p><h2>How do I get SCC?</h2><p>The source release for SCC version 1.0.0 is not publicly available from myhome page. Please send me e-mail (at austin@cs.wisc.edu) for the specificson its distribution.<p><h2>Who made SCC?</h2><p>SCC is the result of research conducted by<!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.wisc.edu/~austin/austin.html">Todd Austin</a>,<!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.wisc.edu/~breach/breach.html">Scott Breach</a>,and<!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.wisc.edu/~sohi/sohi.html">Guri Sohi</a>of the<!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.wisc.edu/~mscalar">Wisconsin Multiscalar Group</a>at the<!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.wisc.edu">University of Wisconsin - Madison</a>.SCC was written by<!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.wisc.edu/~austin/austin.html">Todd Austin</a>(austin@cs.wisc.edu).<hr><address> Last Updated: September 26, 1995 </address><hr>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -