Applied Symbolic Execution with KLEE/LLVM
C++ C Objective-C Shell OCaml Perl Other
Switch branches/tags
Nothing to show
Latest commit 358ba7b Jun 7, 2013 @martintrojer Update
Failed to load latest commit information.
klee added klee changes Nov 10, 2011
llvm-2.6 Update Jun 7, 2013

Alterations to LLVM and KLEE for practical "false positive pruning" defect finding.

Copyright Martin Trojer

For more information see

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 above.