first try at cleaning up

tum-i4 · Jul 20, 2017 · a677bf5 · a677bf5
1 parent 8ac5388
commit a677bf5
Show file tree

Hide file tree

Showing 135 changed files with 12 additions and 77,752 deletions.
diff --git a/README.md b/README.md
@@ -1 +1,12 @@
-# klee-hiwi-job
+Munch
+======
+
+This tool performs a sequence of fuzzing and concolic execution on C programs (compiled into LLVM bitcode).
+
+[__AFL__](http://lcamtuf.coredump.cx/afl/) is used for (blackbox) fuzzing. Ideally, this stage should cover most of the easy-to-reach functions in the programs. 
+
+[__KLEE__](https://github.com/tum-i22/klee22/tree/sonar) is used for concolic execution. However, we use a custom fork of KLEE with a specialized implementation of targeted path search, called *sonar* search. Ideally, this stage should cover the (hard-to-reach) functions that were not discovered with fuzzing in the first step. Please use our [KLEE installation guide](https://github.com/tum-i22/klee-install). 
+
+This project is in developmental stage, so do not expect it to work out of the box for you. 
+
+In case of question, simply shoot me an email me at <ognawala@in.tum.de>. 
diff --git a/after-search.sh b/after-search.sh
diff --git a/build_klee.md b/build_klee.md