I recently added at http://klee.llvm.org/developers-guide.html a developer's guide written by Dan Liew (thanks, Dan!). It currently only discusses the build process and the testing infrastructure (and a couple of misc items), so it would be great if other people would like to expand it. Cristian