Codebase Structure

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)
      • ...
    • ...
Comments