This repository has been archived by the owner on Mar 5, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
40 lines (34 loc) · 1.49 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
<!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>
<div id="menu">
<iframe src="menu.html" height="500" frameborder="0" scrolling="auto">
<a href="menu.html">Click here to load the iframe menu.</a>
</iframe>
</div>
<div id="content">
<!--*********************************************************************-->
<h1>The KLEE Symbolic Virtual Machine</h1>
<!--*********************************************************************-->
<p>KLEE is a symbolic virtual machine built on top of
the <a href="http://llvm.org">LLVM</a> compiler infrastructure, and available
under the UIUC open source license.</p>
<p>For more information on what KLEE is and what it can do, see
the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI
2008</a> paper.</p>
<p>If you are interested in trying it yourself, please
see <a href="GetStarted.html">Getting Started</a>.</p>
<!-- <p>FIXME: Somewhere need to describe what KLEE can do well and what
is more "experimental" or research level. This should also address
how KLEE could be used by outside groups (i.e. kleaver).</p> -->
</div>
</body>
</html>