diff --git a/README.md b/README.md index 5f002bb..0bccc3a 100644 --- a/README.md +++ b/README.md @@ -2,12 +2,10 @@ Alterations to LLVM and KLEE for practical "false positive pruning" defect findi Copyright Martin Trojer -For more information see http://martinsprogrammingblog.blogspot.com/2011/11/applied-symbolic-execution-with.html +For more information see http://martintrojer.github.io/software/2011/11/10/applied-symbolic-execution-with-kleellvm -llvm-2.6 contains the update to LLVM, mainly the "CallPaths" LLVM analysis pass. -This uses Boost Graph Library to generate a set of potential paths from a -root basic block to the taket basic-block(s). +llvm-2.6/ contains the changes to LLVM, mainly the "CallPaths" LLVM analysis pass. This uses Boost Graph Library to generate a set of potential paths from a +root basic block to the target basic-block(s). -klee contains the changes to klee. This is mainly a new seracher "GuidedSearcher" -in lib/Core/Sercher.cpp This searcher uses to CallPaths LLVM pass as mentioned +klee/ contains the changes to klee. This is mainly a new seracher "GuidedSearcher" in lib/Core/Sercher.cpp This searcher uses to CallPaths LLVM pass as mentioned above.