[llvm-commits] CVS: llvm-www/safecode/Azulmedia.css people.html pubs.html links.html index.html
John Criswell
criswell at cs.uiuc.edu
Tue Nov 3 07:16:49 PST 2009
Changes in directory llvm-www/safecode:
Azulmedia.css added (r1.1)
people.html added (r1.1)
pubs.html added (r1.1)
links.html added (r1.1)
index.html updated: 1.25 -> 1.26
---
Log message:
Adding new SAFECode web site.
---
Diffs of the changes: (+862 -115)
Azulmedia.css | 322 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
index.html | 232 +++++++++++++++++++++--------------------
links.html | 103 ++++++++++++++++++
people.html | 140 +++++++++++++++++++++++++
pubs.html | 180 ++++++++++++++++++++++++++++++++
5 files changed, 862 insertions(+), 115 deletions(-)
Index: llvm-www/safecode/Azulmedia.css
diff -c /dev/null llvm-www/safecode/Azulmedia.css:1.1
*** /dev/null Tue Nov 3 09:16:08 2009
--- llvm-www/safecode/Azulmedia.css Tue Nov 3 09:15:58 2009
***************
*** 0 ****
--- 1,322 ----
+ /********************************************
+ AUTHOR: Erwin Aligam
+ WEBSITE: http://www.styleshout.com/
+ TEMPLATE NAME: Azulmedia
+ TEMPLATE CODE: S-0008
+ VERSION: 2.0
+ *******************************************/
+
+ /********************************************
+ HTML ELEMENTS
+ ********************************************/
+
+ /* top elements */
+ * {
+ padding: 0; margin: 0;
+ }
+ body {
+ margin: 0; padding: 0;
+ font: normal .80em/1.6em Verdana, Tahoma, sans-serif;
+ color: #BDBDBD;
+ background: #000;
+ text-align: center;
+ }
+ /* links */
+ a {
+ color: #FFF;
+ background-color: inherit;
+ text-decoration: none;
+ }
+ a:hover {
+ color: #FFF;
+ background-color: inherit;
+ text-decoration: underline;
+ }
+
+ /* headers */
+ h1, h2, h3 {
+ font: normal 1.3em 'Trebuchet MS', Arial, Sans-serif;
+ color: #FFF;
+ }
+ h1 { font-size: 1.6em; }
+ h2 { font-size: 1.4em; text-transform:uppercase; font-weight: bold;}
+ h3 { font-size: 1.3em; font-weight: bold; }
+
+ p, h1, h2, h3 {
+ margin: 0;
+ padding: 10px 15px;
+ }
+
+ ul, ol {
+ margin: 10px 30px;
+ padding: 0 15px;
+ color: #FFF;
+ }
+
+ /* images */
+ img {
+ border: 3px solid #555;
+ }
+ img.no-border {
+ border: none;
+ }
+ img.float-right {
+ margin: 5px 0px 5px 15px;
+ }
+ img.float-left {
+ margin: 5px 15px 5px 0px;
+ }
+ a img {
+ border: 3px solid #555;
+ }
+ a:hover img {
+ border: 3px solid #CCC !important; /* IE fix*/
+ border: 3px solid #555;
+ }
+
+ code {
+ margin: 5px 0;
+ padding: 10px;
+ text-align: left;
+ display: block;
+ overflow: auto;
+ font: 500 1em/1.5em 'Lucida Console', 'courier new', monospace;
+ /* white-space: pre; */
+ background: #0A1646;
+ }
+ acronym {
+ cursor: help;
+ border-bottom: 1px solid #777;
+ }
+ blockquote {
+ margin: 15px;
+ padding: 0 0 0 20px;
+ background: #0A1646;
+ font: bold 1.3em/1.5em 'Trebuchet MS', Sans-serif;
+ }
+
+ /* form elements */
+ form {
+ margin: 10px 15px;
+ padding: 0;
+ background: #0A1646;
+ }
+ label {
+ display:block;
+ font-weight:bold;
+ margin:5px 0;
+ }
+ input {
+ padding: 2px;
+ border:1px solid #eee;
+ font: normal 1em Verdana, sans-serif;
+ color:#777;
+ }
+ textarea {
+ width: 250px;
+ padding:2px;
+ font: normal 1em Verdana, sans-serif;
+ border:1px solid #eee;
+ height:100px;
+ display:block;
+ color:#777;
+ }
+ input.button {
+ margin: 0;
+ font: bold 1em Arial, Sans-serif;
+ border: 1px solid #CCC;
+ background: #FFF;
+ padding: 2px 3px;
+ color: #333;
+ }
+
+ /* search form */
+ .searchform form{
+ background-color: transparent;
+ border: none;
+ margin: 0; padding: 0;
+ }
+ .searchform input.textbox {
+ margin: 0;
+ width: 145px;
+ border: 1px solid #777;
+ background: #FFF;
+ color: #333;
+ height: 14px;
+ vertical-align: top;
+ }
+ .searchform input.button {
+ margin: 0;
+ padding: 2px 3px;
+ font: bold 12px Arial, Sans-serif;
+ background: #FFF;
+ border: 1px solid #f2f2f2;
+ color: #333;
+ width: 65px;
+ vertical-align: top;
+ }
+
+ /***********************
+ LAYOUT
+ ************************/
+ #wrap {
+ background: #212B5C url(images/bg.jpg) repeat-x 0 0;
+ margin: 20px auto 0 auto;
+ text-align: left;
+ border-color: #444;
+ border-style: solid;
+ border-width: 1px 1px 5px 1px;
+ }
+ #wrap, #footer-wrap {
+ width: 84%;
+ }
+
+ /* header */
+ #header {
+ position: relative;
+ height: 110px;
+ background: #7F8082 url(images/header-bg.jpg) repeat-x 0% 100%;
+ border-bottom: 5px solid #444;
+ }
+ #header h1#logo {
+ position: absolute;
+ top: 5px; left: 20px;
+ margin: 0; padding: 0;
+ font: bolder 50px 'Trebuchet MS', Arial, Sans-serif;
+ letter-spacing: -2px;
+ }
+ #header h2#slogan {
+ position: absolute;
+ top: 50px; left: 65px;
+ color: #FFF;
+ text-indent: 0px;
+ font: bold 18px Tahoma, 'Trebuchet MS', Sans-serif;
+ text-transform: none;
+ }
+
+ /* content-wrap */
+ #content-wrap {
+ clear: both;
+ margin: 0; padding: 0;
+ }
+
+ /* box */
+ .box {
+ margin: 10px 15px;
+ border: 1px solid #0A1646;
+ background-color: #1B2455;
+ }
+
+ /* main */
+ #main {
+ margin: 0 0 0 220px;
+ padding-top: 20px;
+ }
+ #main .box {
+ margin-left: 0;
+ }
+
+ /* sidebar */
+ #sidebar {
+ float: left;
+ width: 200px;
+ margin: 0;
+ padding-top: 20px;
+ }
+ #sidebar ul.sidemenu {
+ margin: 0 0 0 15px; padding: 0;
+ background: #242424;
+ border-top: 5px solid #444;
+ }
+ #sidebar ul.sidemenu li {
+ display: inline;
+ list-style: none;
+ }
+ #sidebar ul.sidemenu li a {
+ display: block;
+ padding: 5px 10px 5px 15px;
+ text-decoration: none;
+ color: #CCC;
+ font-weight: bold;
+ }
+ #sidebar ul.sidemenu li a:hover {
+ color: #333;
+ background: #A0A0A0;
+ }
+
+ /* Footer */
+ #footer-wrap {
+ clear: both;
+ color: #FFF;
+ background: #000;
+ margin: 0 auto;
+ padding: 0;
+ font-size: 88%;
+ }
+ #footer-wrap a {
+ text-decoration: none;
+ font-weight: bold;
+ color: #FFF;
+ }
+ #footer-wrap .footer-left{
+ float: left;
+ width: 65%;
+ padding-bottom: 20px;
+ }
+ #footer-wrap .footer-right{
+ float: right;
+ width: 30%;
+ padding-bottom: 20px;
+ }
+
+ /* menu tabs */
+ #header a {
+ position: absolute;
+ top: 20px; right: 20px;
+ margin:0; padding: 0;
+ list-style:none;
+ font: bold 1.3em 'Trebuchet MS', Tahoma, verdana, sans-serif;
+ height: 2.3em;
+ }
+
+ #header ul {
+ position: absolute;
+ top: 20px; right: 20px;
+ margin:0; padding: 0;
+ list-style:none;
+ font: bold 1.3em 'Trebuchet MS', Tahoma, verdana, sans-serif;
+ height: 2.3em;
+ }
+ #header li {
+ display:inline;
+ margin:0; padding:0;
+ }
+ #header a {
+ float: left;
+ margin:0;
+ padding:3px 10px 2px 10px;
+ text-decoration:none;
+ color: #CCC;
+ }
+ #header #current a {
+ color: #FFF;
+ border-top: 5px solid #FFF;
+ }
+ /* end menu tabs */
+
+ /* alignment classes */
+ .float-left { float: left; }
+ .float-right { float: right; }
+ .align-left { text-align: left; }
+ .align-right { text-align: right; }
+
+ /* additional classes */
+ .clear { clear: both; }
+ .gray { color: #A0A0A0; }
+ .comments {
+ text-align: right;
+ padding: 7px 15px;
+ margin: 20px 15px 15px 15px;
+ background: #0A1646;
+ }
+
Index: llvm-www/safecode/people.html
diff -c /dev/null llvm-www/safecode/people.html:1.1
*** /dev/null Tue Nov 3 09:16:49 2009
--- llvm-www/safecode/people.html Tue Nov 3 09:15:58 2009
***************
*** 0 ****
--- 1,140 ----
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+
+ <head>
+
+ <meta name="Description" content="Information architecture, Web Design, Web Standards." />
+ <meta name="Keywords" content="john criswell" />
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+ <meta name="Distribution" content="Global" />
+ <meta name="Author" content="John Criswell" />
+ <meta name="Robots" content="index,follow" />
+
+ <link rel="stylesheet" href="Azulmedia.css" type="text/css" />
+
+ <title>SAFECode</title>
+
+ </head>
+
+ <body>
+ <!-- wrap starts here -->
+ <div id="wrap">
+
+ <div id="header">
+
+ <h1 id="logo">SAFECode</h1>
+ <h2 id="slogan">Static Analysis For safe Execution of Code</h2>
+
+ <div id="menu">
+ <p align=right>
+ <a href="http://illinois.edu">
+ <img align=center src="images/imark_bold.gif"></img>
+ </a>
+ </p>
+ </div>
+ </div>
+
+ <!-- content-wrap starts here -->
+ <div id="content-wrap">
+
+ <div id="sidebar" >
+
+ <h1 class="clear">Menu</h1>
+ <ul class="sidemenu">
+ <li><a href="index.html">Home</a></li>
+ <li><a href="pubs.html">Publications</a></li>
+ <li><a href="people.html">Project Members</a></li>
+ <li><a href="links.html">Links</a></li>
+ </ul>
+ </div>
+
+ <div id="main">
+ <a name="People"></a>
+ <div class="box">
+
+ <h1>Project Members</h1>
+ <hr>
+
+ <h3>Faculty</h3>
+
+ <ul>
+ <li><a href="http://www.cs.uiuc.edu/~vadve">Vikram Adve</a></li>
+ </ul>
+
+ <h3>Graduate Students</h3>
+ <ul>
+ <li>
+ John Criswell
+ </li>
+
+ <li>
+ Andrew Lenharth
+ </li>
+
+ <li>
+ Haohui Mai
+ </li>
+ </ul>
+
+ <h3>Undergraduate Students</h3>
+ <ul>
+ <li>
+ Brice Lin
+ </li>
+ </ul>
+
+ <h3>Graduate Student Alumni</h3>
+
+ <ul>
+ <li>
+ <a href="http://llvm.cs.uiuc.edu/~dhurjati">Dinakar Dhurjati</a>
+ </li>
+
+ <li>
+ Sumant Kowshik
+ </li>
+
+ <li>
+ <a href="http://www.nondot.org/~sabre">Chris Lattner</a>
+ </li>
+ </ul>
+
+ <h3>Undergraduate Student Alumni</h3>
+ <ul>
+ <li>
+ Billy Lau
+ </li>
+ </ul>
+ </div>
+ </div>
+
+ <br />
+ <!-- content-wrap ends here -->
+ </div>
+
+ <!-- wrap ends here -->
+ </div>
+
+ <!-- footer starts here -->
+ <div id="footer-wrap">
+
+ <div class="footer-left">
+ <p class="align-left">
+ © 2009 <strong>University of Illinois</strong> |
+ Design by <a href="http://www.styleshout.com/">styleshout</a> | Valid <a href="http://validator.w3.org/check/referer">XHTML</a> |
+ <a href="http://jigsaw.w3.org/css-validator/check/referer">CSS</a>
+ </p>
+ </div>
+
+ <div class="footer-right">
+ <p class="align-right">
+ <a href="index.html">Home</a>
+ </p>
+ </div>
+
+ </div>
+ <!-- footer ends here -->
+
+ </body>
+ </html>
Index: llvm-www/safecode/pubs.html
diff -c /dev/null llvm-www/safecode/pubs.html:1.1
*** /dev/null Tue Nov 3 09:16:49 2009
--- llvm-www/safecode/pubs.html Tue Nov 3 09:15:58 2009
***************
*** 0 ****
--- 1,180 ----
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+
+ <head>
+
+ <meta name="Description" content="Information architecture, Web Design, Web Standards." />
+ <meta name="Keywords" content="john criswell publications" />
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+ <meta name="Distribution" content="Global" />
+ <meta name="Author" content="John Criswell" />
+ <meta name="Robots" content="index,follow" />
+
+ <link rel="stylesheet" href="Azulmedia.css" type="text/css" />
+
+ <title>Publications</title>
+
+ </head>
+
+ <body>
+ <!-- wrap starts here -->
+ <div id="wrap">
+
+ <div id="header">
+
+ <h1 id="logo">SAFECode:</h1>
+ <h2 id="slogan">Static Analysis For safe Execution of Code</h2>
+
+ <!-- Menu Tabs -->
+ <div id="menu">
+ <p align=right>
+ <a href="http://illinois.edu">
+ <img align=center src="images/imark_bold.gif"></img>
+ </a>
+ </p>
+
+ </div>
+
+ </div>
+
+ <!-- content-wrap starts here -->
+ <div id="content-wrap">
+
+ <div id="sidebar" >
+
+ <h1 class="clear">Menu</h1>
+ <ul class="sidemenu">
+ <li><a href="index.html">Home</a></li>
+ <li><a href="pubs.html">Publications</a></li>
+ <li><a href="people.html">Project Members</a></li>
+ <li><a href="links.html">Links</a></li>
+ </ul>
+ </div>
+
+ <div id="main">
+
+ <a name="SAFECode Publications"></a>
+ <div class="box">
+
+ <h1>SAFECode Publications</h1>
+ <hr>
+
+ <ul>
+ <li><a href="http://llvm.org/pubs/2005-11-SAFECodeTR.html">
+ <b>
+ Enforcing Alias Analysis for Weakly Typed Languages </b></a>
+ <br>
+ Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve.
+ <br>
+ Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., University of Illinois, Nov 2005
+ </li>
+
+ <p></p>
+
+ <li>
+ <a href="http://llvm.org/pubs/2005-02-TECHREPORT-SAFECode.html"><b>
+ Memory Safety Without Garbage Collection for Embedded Applications
+ </b></a>
+ <br>
+ Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner.
+ <br>
+ <a href="http://www.acm.org/tecs/">
+ <i>ACM Transactions in Embedded Computing Systems (TECS) </i></a>,
+ February 2005.
+ </li>
+
+ <br>
+
+ <li>
+ <a href="http://llvm.org/pubs/2003-05-05-LCTES03-CodeSafety.html"><b>
+ Memory Safety without Runtime Checks or Garbage Collection for Embedded
+ Systems
+ </b></a>
+ <br>
+ Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner.
+ <br>
+ LCTES 2003.
+ </li>
+
+ <br>
+
+ <li>
+ <a href="http://llvm.org/pubs/2002-08-08-CASES02-ControlC.html"><b>
+ Ensuring Code Safety without Runtime Checks for Real Time Control
+ Systems
+ </b></a>
+ <br>
+ Sumant Kowshik, Dinakar Dhurjati, Vikram Adve.
+ <br>
+ CASES 2002.
+ </li>
+
+ <br>
+ </div>
+
+ <a name="Related Publications"></a>
+ <div class="box">
+
+ <h1>Related Publications</h1>
+ <hr>
+
+ <ul>
+ <li><a href="http://llvm.org/pubs/2007-SOSP-SVA.html">
+ <b>
+ Secure Virtual Architecture: A Safe Execution Environment for Commodity
+ Operating Systems</b></a>
+ <br>
+ John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve
+ <br>
+ <i>Proceedings of the Twenty First ACM Symposium on Operating Systems
+ Principles (SOSP '07)</i>, Stevenson, WA, October 2007.
+ <br>
+ <b>Received an SOSP 2007 Audience Choice Award.</b>
+ </li>
+
+ <br>
+
+ <li>
+ <a href="http://llvm.org/pubs/2006-06-18-WIOSCA-LLVAOS.html">
+ <b>
+ A Virtual Instruction Set
+ Interface for Operating System Kernels</b></a>
+ <br>
+ John Criswell, Brent Monroe, and Vikram Adve.<br><i>
+ Workshop on the Interaction between Operating Systems and Computer
+ Architecture (WIOSCA '06)</i>, Boston, Massachusetts, 2006.<br></li>
+ </ul>
+
+ </div>
+ </div>
+
+ <br />
+ <!-- content-wrap ends here -->
+ </div>
+
+ <!-- wrap ends here -->
+ </div>
+
+ <!-- footer starts here -->
+ <div id="footer-wrap">
+
+ <div class="footer-left">
+ <p class="align-left">
+ © 2009 <strong>University of Illinois</strong> |
+ Design by <a href="http://www.styleshout.com/">styleshout</a> | Valid <a href="http://validator.w3.org/check/referer">XHTML</a> |
+ <a href="http://jigsaw.w3.org/css-validator/check/referer">CSS</a>
+ </p>
+ </div>
+
+ <div class="footer-right">
+ <p class="align-right">
+ <a href="index.html">Home</a>
+ </p>
+ </div>
+
+ </div>
+ <!-- footer ends here -->
+
+ </body>
+ </html>
Index: llvm-www/safecode/links.html
diff -c /dev/null llvm-www/safecode/links.html:1.1
*** /dev/null Tue Nov 3 09:16:49 2009
--- llvm-www/safecode/links.html Tue Nov 3 09:15:58 2009
***************
*** 0 ****
--- 1,103 ----
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+
+ <head>
+
+ <meta name="Description" content="Information architecture, Web Design, Web Standards." />
+ <meta name="Keywords" content="john criswell links" />
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+ <meta name="Distribution" content="Global" />
+ <meta name="Author" content="John Criswell" />
+ <meta name="Robots" content="index,follow" />
+
+ <link rel="stylesheet" href="Azulmedia.css" type="text/css" />
+
+ <title>Links</title>
+
+ </head>
+
+ <body>
+ <!-- wrap starts here -->
+ <div id="wrap">
+
+ <div id="header">
+
+ <h1 id="logo">SAFECode:</h1>
+ <h2 id="slogan"> Static Analysis For safe Execution of Code</h2>
+
+ <div id="menu">
+ <p align=right>
+ <a href="http://illinois.edu">
+ <img align=center src="images/imark_bold.gif"></img>
+ </a>
+ </p>
+ </div>
+ </div>
+
+ <!-- content-wrap starts here -->
+ <div id="content-wrap">
+
+ <div id="sidebar" >
+
+ <h1 class="clear">Menu</h1>
+ <ul class="sidemenu">
+ <li><a href="index.html">Home</a></li>
+ <li><a href="pubs.html">Publications</a></li>
+ <li><a href="people.html">Project Members</a></li>
+ <li><a href="links.html">Links</a></li>
+ </ul>
+ </div>
+
+ <div id="main">
+
+ <a name="Links"></a>
+ <div class="box">
+
+ <h1>Links</h1>
+ <hr>
+
+ <ul>
+
+ <li>
+ <a href="http://llvm.org">LLVM Compiler Infrastructure</a>
+ </li>
+
+ <li>
+ <a href="http://sva.cs.uiuc.edu">Secure Virtual Architecture Project</a>
+ </li>
+ </div>
+ </div>
+
+ <p></p>
+ <p></p>
+
+ <br />
+ <!-- content-wrap ends here -->
+ </div>
+
+ <!-- wrap ends here -->
+ </div>
+
+ <!-- footer starts here -->
+ <div id="footer-wrap">
+
+ <div class="footer-left">
+ <p class="align-left">
+ © 2009 <strong>University of Illinois</strong> |
+ Design by <a href="http://www.styleshout.com/">styleshout</a> | Valid <a href="http://validator.w3.org/check/referer">XHTML</a> |
+ <a href="http://jigsaw.w3.org/css-validator/check/referer">CSS</a>
+ </p>
+ </div>
+
+ <div class="footer-right">
+ <p class="align-right">
+ <a href="index.html">Home</a>
+ </p>
+ </div>
+
+ </div>
+ <!-- footer ends here -->
+
+ </body>
+ </html>
Index: llvm-www/safecode/index.html
diff -u llvm-www/safecode/index.html:1.25 llvm-www/safecode/index.html:1.26
--- llvm-www/safecode/index.html:1.25 Thu Oct 1 18:27:17 2009
+++ llvm-www/safecode/index.html Tue Nov 3 09:15:58 2009
@@ -1,124 +1,126 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
- "http://www.w3.org/TR/html4/strict.dtd">
-<html>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+
<head>
- <title>SAFE Code</title>
- <link rel="stylesheet" href="safecode.css" type="text/css">
-</head>
-<body>
-<div class="www_title">SAFECode</div>
+<meta name="Description" content="Information architecture, Web Design, Web Standards." />
+<meta name="Keywords" content="john criswell" />
+<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+<meta name="Distribution" content="Global" />
+<meta name="Author" content="John Criswell" />
+<meta name="Robots" content="index,follow" />
-<hr>
+<link rel="stylesheet" href="Azulmedia.css" type="text/css" />
-<H2>Static Analysis For safe Execution of Code</H2>
+<title>SAFECode</title>
+
+</head>
-<p>SAFECode project aims at providing
-memory safety guarantees to programs written in unsafe languages like
-C and C++.
-
-<p> As a part of this project, we developed a relatively simple
-compilation strategy that for standard C programs guarantees sound
-semantics for an aggressive interprocedural pointer analysis (or
-simpler ones), a call graph, and type information for a subset of
-memory. These provide the foundation for sophisticated static analyses
-to be applied to such programs with a guarantee of soundness. Our work
-builds on a previously published transformation called Automatic Pool
-Allocation to ensure that hard-to-detect memory errors (dangling pointer
-references and certain array bounds errors) cannot invalidate the call
-graph, points-to information or type information. A technical report
-on this work is available from <a
-href="http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html"> here </a>
- <br>
-
-<p>Second, we developed a backwards-compatible run-time array bounds
-checking solution that has very low overhead. More information on this
-work is available from
-<a
-href="http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html"> here
-</a><br>
-
-<p>Finally, we also developed a novel technique that can detect dangling
-pointer errors (accesses to freed memory) with low over head in some
-applications. More information on this
-work is available <a href="http://llvm.cs.uiuc.edu/~dhurjati/d-dsn06.pdf"> here
-</a>
-
-</p>
-
-
-<H3>Project Members</H3>
-
-<H4>Faculty</H4>
-
-<ul>
-<li><a href="http://www.cs.uiuc.edu/~vadve">Vikram Adve</a></li>
-</ul>
-
-<H4>Graduate Students</H4>
-
-<ul>
-<li><a href="http://llvm.cs.uiuc.edu/~dhurjati">Dinakar Dhurjati</a></li>
-<li><a href="mailto:kowshik at cs.uiuc.edu">Sumant Kowshik</a></li>
-<li><a href="http://www.nondot.org/~sabre">Chris Lattner</a></li>
-</ul>
-
-<H3> Publications</H3>
-
-<ul>
- <li>
- "<a href="http://llvm.cs.uiuc.edu/~dhurjati/d-dsn06.pdf">
- Efficiently Detecting All Dangling Pointer Uses in Production
- Servers </a>" <br>
- Dinakar Dhurjati and Vikram Adve. DSN 2006.
-
- <li> "<a href="http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html"> Backwards-Compatible Array Bounds Checking for C with Very Low
- Overhead </a>"<br>
- Dinakar Dhurjati and Vikram Adve. ICSE 2006.
-
-
- <li> "<a href="http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html"> Enforcing Alias Analysis for Weakly Typed Languages </a>"
- <br>
- Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. Technical Report
- #UIUCDCS-R-2005-2657, Computer Science Dept., University of
- Illinois, Nov 2005</li>
- <li>"<a href="http://llvm.cs.uiuc.edu/pubs/2005-02-TECHREPORT-SAFECode.html">Memory Safety Without
- Garbage Collection for Embedded Applications</a>"<br> Dinakar
- Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner. <a
- href="http://www.acm.org/tecs/"> <i>ACM Transactions in
- Embedded Computing Systems (TECS) </i></a>, February 2005. </li>
- <li> "<a
- href="http://llvm.cs.uiuc.edu/pubs/2003-05-05-LCTES03-CodeSafety.html">Memory
- Safety without Runtime Checks or Garbage Collection for Embedded Systems</a>"
- <br>
- Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner. LCTES
- 2003.</li>
- <li>"<a
- href="http://llvm.cs.uiuc.edu/pubs/2002-08-08-CASES02-ControlC.html">Ensuring
- Code Safety without Runtime Checks for Real Time Control Systems</a>"<br>
- Sumant Kowshik, Dinakar Dhurjati, Vikram Adve. CASES 2002.</li>
-</ul>
-
-<H3>Funding</H3>
-
-<p>This project is sponsored by the NSF Embedded Systems program under award
-CCR-02-09202 and in part by an NSF CAREER award, EIA-0093426 and ONR,
-N0004-02-0102.</p>
-
-<H3>Links</H3>
-<ul>
-<li><a href="http://llvm.cs.uiuc.edu">LLVM</a></li>
-</ul>
-
-<hr>
-<address>
- <a href="http://jigsaw.w3.org/css-validator/"><img
- src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
- <a href="http://validator.w3.org/check/referer"><img
- src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+<body>
+<!-- wrap starts here -->
+<div id="wrap">
- <a href="mailto:dhurjati at uiuc.edu">Dinakar Dhurjati</a>
-</address>
+ <div id="header">
+
+ <h1 id="logo">SAFECode:</h1>
+ <h2 id="slogan"> Static Analysis For safe Execution of Code</h2>
+
+ <div id="menu">
+ <p align=right>
+ <a href="http://illinois.edu">
+ <img align=center src="images/imark_bold.gif"></img>
+ </a>
+ </p>
+ </div>
+ </div>
+
+ <!-- content-wrap starts here -->
+ <div id="content-wrap">
+
+ <div id="sidebar" >
+
+ <h1 class="clear">Menu</h1>
+ <ul class="sidemenu">
+ <li><a href="index.html">Home</a></li>
+ <li><a href="pubs.html">Publications</a></li>
+ <li><a href="people.html">Project Members</a></li>
+ <li><a href="links.html">Links</a></li>
+ </ul>
+ </div>
+
+ <div id="main">
+ <a name="Home"></a>
+ <div class="box">
+
+ <h1>Home</h1>
+ <hr>
+
+ <p>
+ The purpose of the SAFECode project is to enable program safety without
+ runtime checks and garbage collection, using static analysis when
+ possible and run-time checks when necessary. SAFECode defines a code
+ representation with minimal semantic restrictions designed to enable
+ static enforcement of safety, using aggressive compiler techniques
+ developed in this project.
+ </p>
+
+ <p>
+ SAFECode is designed to provide the following safety guarantees:
+ <ul>
+ <li>
+ Array bounds checking (prevents pointers from overflowing from one
+ memory object into another)
+ </li>
+
+ <li>
+ Loads and stores only access valid memory objects
+ </li>
+
+ <li>
+ Type safety for a subset of memory objects proven to be type-safe
+ </li>
+
+ <li>
+ Sound operational semantics in the face of dangling pointer
+ errors (i.e., all safety guarantees hold even when dangling pointers
+ are dereferenced).
+ </li>
+
+ <li>
+ Optional dangling pointer detection (induces more overhead)
+ </li>
+ </ul>
+ </p>
+ </div>
+ </div>
+
+ <br />
+ <!-- content-wrap ends here -->
+ </div>
+
+<!-- wrap ends here -->
+</div>
+
+<!-- footer starts here -->
+<div id="footer-wrap">
+
+ <div class="footer-left">
+ <p class="align-left">
+ © 2009 <strong>University of Illinois</strong> |
+ Design by <a href="http://www.styleshout.com/">styleshout</a> | Valid <a href="http://validator.w3.org/check/referer">XHTML</a> |
+ <a href="http://jigsaw.w3.org/css-validator/check/referer">CSS</a>
+ </p>
+ </div>
+
+ <div class="footer-right">
+ <p class="align-right">
+ <a href="index.html">Home</a>
+ </p>
+ </div>
+
+</div>
+<!-- footer ends here -->
</body>
</html>
More information about the llvm-commits
mailing list