Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
12 lines (7 sloc) 627 Bytes

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

Copyright Martin Trojer martin.trojer@gmail.com

For more information see http://martintrojer.github.io/software/2011/11/10/applied-symbolic-execution-with-kleellvm

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.

Something went wrong with that request. Please try again.