blob: 1750d900c854ad4f3ff0b41687702e347b0c6822 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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.
|
