| The klee and kleaver code is organized as follows: | |
| lib/Basic - Low level support for both klee and kleaver which should | |
| be independent of LLVM. | |
| lib/Support - Higher level support, but only used by klee. This can | |
| use LLVM facilities. | |
| lib/Expr - The core kleaver expression library. | |
| lib/Solver - The kleaver solver library. | |
| lib/Module - klee facilities for working with LLVM modules, including | |
| the shadow module/instruction structures we use during | |
| execution. | |
| lib/Core - The core symbolic virtual machine. | |