blob: 4b9e5f3bea8aed71534f5f3cb2f2cfb3bc589240 (
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.</p>
<p>Stay tuned for more information on public availability. For now,
there is some information available on
the <a href="http://checking.stanford.edu/wiki/Klee">Stanford
Checking Group wiki</a>.</p>
<p>For more information, see
the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI
2008</a> paper.</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>
|
