From 185c811b1bf643d7876473e05d15c79b66840102 Mon Sep 17 00:00:00 2001 From: Haneef Mubarak Date: Mon, 12 May 2014 22:02:06 -0700 Subject: Update and rename README.txt to README.md Make it look nicer! :smile: --- README.md | 23 +++++++++++++++++++++++ README.txt | 24 ------------------------ 2 files changed, 23 insertions(+), 24 deletions(-) create mode 100644 README.md delete mode 100644 README.txt diff --git a/README.md b/README.md new file mode 100644 index 00000000..fd724614 --- /dev/null +++ b/README.md @@ -0,0 +1,23 @@ +Klee Symbolic Virtual Machine +============================= + +`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. A POSIX/Linux emulation layer oriented towards supporting uClibc, + with additional support for making parts of the operating system + environment symbolic. + +Additionally, there is a simple library for replaying computed inputs +on native code (for closed programs). There is also a more complicated +infrastructure for replaying the inputs generated for the POSIX/Linux +emulation layer, which handles running native programs in an +environment that matches a computed test input, including setting up +files, pipes, environment variables, and passing command line +arguments. + +For further information, see the [webpage](http://klee.github.io/klee/). diff --git a/README.txt b/README.txt deleted file mode 100644 index 96d60a9e..00000000 --- a/README.txt +++ /dev/null @@ -1,24 +0,0 @@ -//===----------------------------------------------------------------------===// -// Klee Symbolic Virtual Machine -//===----------------------------------------------------------------------===// - -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. A POSIX/Linux emulation layer oriented towards supporting uClibc, - with additional support for making parts of the operating system - environment symbolic. - -Additionally, there is a simple library for replaying computed inputs -on native code (for closed programs). There is also a more complicated -infrastructure for replaying the inputs generated for the POSIX/Linux -emulation layer, which handles running native programs in an -environment that matches a computed test input, including setting up -files, pipes, environment variables, and passing command line -arguments. - -For further information, see the webpage or docs in www/. -- cgit 1.4.1