blob: fe4e2bb19fbcb58883aa3f69b806501ae5cf9496 (
plain) (
blame)
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
|
<!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 <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>
|
