Here are the most important parts of the code structure: - src/ - Cloud9 root
- build/ - Build scripts (gyp wrapper, LLVM & binutils downloader, global all.gyp file)
- cloud9/ - Symbolic execution engine
- klee-uclibc/ - Modified C library to support symbolic execution
- third_party/
- gyp/ - The Gyp build system code
- stp/ - The STP solver
- llvm/ - LLVM source code
- llvm-build/ - LLVM binaries
- binutils/ - Binutils source code
- binutils-install/ - Binutils binaries
- ...
- testing_targets/ - LLVM bitcode
- build/ - common LLVM build scripts (env. setup, global gyp files)
- ...
- ...
|