Stub out klee project.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@67019 91177308-0d34-0410-b5e6-96231b3b80d8

6 files changed, 189 insertions, 0 deletions

diff --git a/LICENSE.TXT b/LICENSE.TXT
new file mode 100644
index 00000000..20b7da58
--- /dev/null
+++ b/LICENSE.TXT
@@ -0,0 +1,64 @@
+==============================================================================
+klee Release License
+==============================================================================
+University of Illinois/NCSA
+Open Source License
+
+Copyright (c) 2007-2009 Stanford University.
+All rights reserved.
+
+Developed by:
+
+    klee Team
+
+    Stanford Checking Group: Daniel Dunbar, Cristian Cadar, Peter
+    Pawlowki, Dawson Engler.
+
+    http://klee.llvm.org
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of
+this software and associated documentation files (the "Software"), to deal with
+the Software without restriction, including without limitation the rights to
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
+of the Software, and to permit persons to whom the Software is furnished to do
+so, subject to the following conditions:
+
+    * Redistributions of source code must retain the above copyright notice,
+      this list of conditions and the following disclaimers.
+
+    * Redistributions in binary form must reproduce the above copyright notice,
+      this list of conditions and the following disclaimers in the
+      documentation and/or other materials provided with the distribution.
+
+    * Neither the names of the LLVM Team, University of Illinois at
+      Urbana-Champaign, nor the names of its contributors may be used to
+      endorse or promote products derived from this Software without specific
+      prior written permission.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
+FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL THE
+CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE
+SOFTWARE.
+
+==============================================================================
+The klee software contains code written by third parties.  Such software will
+have its own individual LICENSE.TXT file in the directory in which it appears.
+This file will describe the copyrights, license, and restrictions which apply
+to that code.
+
+The disclaimer of warranty in the University of Illinois Open Source License
+applies to all code in the klee Distribution, and nothing in any of the
+other licenses gives permission to use the names of the klee Team or the
+University of Illinois to endorse or promote products derived from this
+Software.
+
+The following pieces of software have additional or alternate copyrights,
+licenses, and/or restrictions:
+
+Program             Directory
+-------             ---------
+STP                 klee/stp
+
diff --git a/README.txt b/README.txt
new file mode 100644
index 00000000..0c1a79e9
--- /dev/null
+++ b/README.txt
@@ -0,0 +1,24 @@
+//===----------------------------------------------------------------------===//
+// Klee Symbolic Virtual Machine
+//===----------------------------------------------------------------------===//
+                                                             Daniel Dunbar
+
+klee is a symbolic virtual machine built on top of the LLVM compiler
+infrastructure. Currently, there are two primary components.
+
+1. The core symbolic virtual machine engine; this is responsible for
+executing LLVM bitcode modules with support for symbolic values. This
+is comprised of the code in lib/.
+
+2. An emulation layer for the Linux system call interface, with
+additional support for making parts of the operating environment
+symbolic. This is found in models/simple.
+
+Additionally, there is a simple library in runtime/ which supports
+replaying computed inputs on native code. There is a more complicated
+library in replay/ which supports running inputs computed as part of
+the system call emulation layer natively -- setting up files, pipes,
+etc. on the native system to match the inputs that the emulation layer
+provided.
+
+For further information, see the docs in www/.
diff --git a/www/content.css b/www/content.css
new file mode 100644
index 00000000..ab6983b4
--- /dev/null
+++ b/www/content.css
@@ -0,0 +1,25 @@
+html, body {
+  padding:0px;
+  font-size:small; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
+  line-height:1.5;
+}
+
+h1, h2, h3, tt { color: #000 }
+
+h1 { padding-top:0px; margin-top:0px;}
+h2 { color:#333333; padding-top:0.5em; }
+h3 { padding-top: 0.5em; margin-bottom: -0.25em; color:#2d58b7}
+li { padding-bottom: 0.5em; }
+ul { padding-left:1.5em; }
+
+/* Slides */
+IMG.img_slide {
+    display: block;
+    margin-left: auto;
+    margin-right: auto
+}
+
+.itemTitle { color:#2d58b7 }
+
+/* Tables */
+tr { vertical-align:top }
diff --git a/www/index.html b/www/index.html
new file mode 100644
index 00000000..6bc310c0
--- /dev/null
+++ b/www/index.html
@@ -0,0 +1,27 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" 
+          "http://www.w3.org/TR/html4/strict.dtd">
+<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
+<html>
+<head>
+  <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
+  <title>The klee Symbolic Virtual Machine</title>
+  <link type="text/css" rel="stylesheet" href="menu.css">
+  <link type="text/css" rel="stylesheet" href="content.css">
+</head>
+<body>
+<!--#include virtual="menu.html.incl"-->
+<div id="content">
+  <!--*********************************************************************-->
+  <h1>The klee Symbolic Virtual Machine</h1>
+  <!--*********************************************************************-->
+
+  <p>klee is a symbolic virtual machine built on top of the LLVM
+  compiler infrastructure.</p>
+
+  <p>Stay tuned for more information on public availability.</a>
+
+  <p>For more information, see the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI 2008</a> paper.</p>
+
+</div>
+</body>
+</html>
diff --git a/www/menu.css b/www/menu.css
new file mode 100644
index 00000000..6e96a457
--- /dev/null
+++ b/www/menu.css
@@ -0,0 +1,39 @@
+/***************/
+/* page layout */
+/***************/
+
+[id=menu] {
+	position:fixed;
+	width:25ex;
+}
+[id=content] {
+	/* *****  EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
+	position:absolute;
+  left:29ex;
+	padding-right:4ex;
+}
+
+/**************/
+/* menu style */
+/**************/
+
+#menu .submenu {
+	padding-top:1em;
+	display:block;
+}
+
+#menu label {
+	display:block;
+	font-weight: bold;
+	text-align: center;
+	background-color: rgb(192,192,192);
+}
+#menu a {
+	padding:0 .2em;
+	display:block;
+	text-align: center;
+	background-color: rgb(235,235,235);
+}
+#menu a:visited {
+	color:rgb(100,50,100);
+}
\ No newline at end of file
diff --git a/www/menu.html.incl b/www/menu.html.incl
new file mode 100644
index 00000000..96e29687
--- /dev/null
+++ b/www/menu.html.incl
@@ -0,0 +1,10 @@
+<div id="menu">
+  <div>
+    <a href="http://llvm.org/">LLVM Home</a>
+  </div>
+  
+  <div class="submenu">
+    <label>klee Info</label>
+    <a href="/index.html">About</a>
+  </div>
+</div>