Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Update README.md

  • Loading branch information...
commit 358ba7b03794cf2c67ebbeea41346fa6900be586 1 parent 7375e4a
@martintrojer authored
Showing with 4 additions and 6 deletions.
  1. +4 −6 README.md
View
10 README.md
@@ -2,12 +2,10 @@ Alterations to LLVM and KLEE for practical "false positive pruning" defect findi
Copyright Martin Trojer <martin.trojer@gmail.com>
-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.
Please sign in to comment.
Something went wrong with that request. Please try again.