[llvm-commits] [klee] r72208 - in /klee/trunk/www: content.css klee-files.html klee-tools.html tutorials.html
Cristian Cadar
cristic at cs.stanford.edu
Wed May 20 23:59:39 PDT 2009
Author: cristic
Date: Thu May 21 01:59:38 2009
New Revision: 72208
URL: http://llvm.org/viewvc/llvm-project?rev=72208&view=rev
Log:
Started web pages describing the main KLEE tools, and the main files
generated by KLEE. Small updates to the CSS file and tutorials.html
Added:
klee/trunk/www/klee-files.html
klee/trunk/www/klee-tools.html
Modified:
klee/trunk/www/content.css
klee/trunk/www/tutorials.html
Modified: klee/trunk/www/content.css
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/content.css?rev=72208&r1=72207&r2=72208&view=diff
==============================================================================
--- klee/trunk/www/content.css (original)
+++ klee/trunk/www/content.css Thu May 21 01:59:38 2009
@@ -35,10 +35,18 @@
margin: 7px;
}
+/* Instructions */
+pre.output{
+ border: 1px solid LightSteelBlue ;
+ font-family: Courier New;
+ background-color: #E3E3E3;
+ padding: 7px;
+ margin: 7px;
+}
+
/* Code */
pre.code{
display:table;
- text-align: left;
border: 1px solid LightSteelBlue ;
font-family: Courier New;
background-color: #E3E3E3;
Added: klee/trunk/www/klee-files.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/klee-files.html?rev=72208&view=auto
==============================================================================
--- klee/trunk/www/klee-files.html (added)
+++ klee/trunk/www/klee-files.html Thu May 21 01:59:38 2009
@@ -0,0 +1,78 @@
+<!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>KLEE Generated Files</h1>
+ <!--*********************************************************************-->
+
+ <h2>Standard Files</h2>
+ These files are always generated on a KLEE execution:
+ <ol>
+ <li><b>info</b>: This is a text file containing various information
+ related to a KLEE run. In particular, it records the exact
+ command-line with which KLEE was run, and the total time taken by
+ the execution. E.g.:
+ <pre class="output">
+ $ cat info
+ klee --write-pcs demo.o
+ PID: 12460
+ Started: 2009-05-20 22:31:41
+ BEGIN searcher description
+ DFSSearcher
+ END searcher description
+ Finished: 2009-05-20 22:31:41
+ Elapsed: 00:00:00
+ KLEE: done: explored paths = 3
+ KLEE: done: avg. constructs per query = 6
+ KLEE: done: total queries = 3
+ KLEE: done: valid queries = 0
+ KLEE: done: invalid queriers = 3
+ KLEE: done: query cex = 3
+ KLEE: done: total instructions = 67
+ KLEE: done: completed paths = 3
+ KLEE: done: generated tests = 3 </pre>
+ </li>
+
+ <li><b>warnings.txt</b>: This is a text file containing all warnings emitted by KLEE.
+ </li>
+
+ <li><b>messages.txt</b>: This is a text file containing all other messages emitted by KLEE.
+ </li>
+
+ <li><b>assembly.ll</b>: This file contains a human readable version
+ of the LLVM bitcode executed by KLEE
+
+ <li><b>run.stats</b>: This is a text file containing various
+ statistics emitted by KLEE. While this file can be inspected
+ manually, you should use the <a href="klee-tools">klee-stats</a>
+ tool for that.</li>
+
+ <li><b>run.istats</b>: This is a binary file containing global
+ statistics emitted by KLEE for each line of code in the program.
+ </li>
+
+ </ol>
+
+
+ <h2> Kleaver files</h2>
+
+ <ol>
+ <li><b>test<NNN>.pc</b> files:
+ </li>
+ <li><b>queries.pc:</b>
+ </li>
+ </ol>
+
+</div>
+</body>
+</html>
Added: klee/trunk/www/klee-tools.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/klee-tools.html?rev=72208&view=auto
==============================================================================
--- klee/trunk/www/klee-tools.html (added)
+++ klee/trunk/www/klee-tools.html Thu May 21 01:59:38 2009
@@ -0,0 +1,24 @@
+<!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>KLEE Tools</h1>
+ <!--*********************************************************************-->
+
+ <h2>ktest-tool</h2>
+
+ <h2>klee-stats</h2>
+
+</div>
+</body>
+</html>
Modified: klee/trunk/www/tutorials.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/tutorials.html?rev=72208&r1=72207&r2=72208&view=diff
==============================================================================
--- klee/trunk/www/tutorials.html (original)
+++ klee/trunk/www/tutorials.html Thu May 21 01:59:38 2009
@@ -15,6 +15,11 @@
<h1>KLEE Tutorials</h1>
<!--*********************************************************************-->
+ <ol>
+ <li><a href="tutorial-1.html">Tutorial One</a>: Using KLEE on a toy example</li>
+ </ol>
+
+
</div>
</body>
</html>
More information about the llvm-commits
mailing list