There is support up to atleast llvm 3.8 now. See: http://klee.github.io/build-llvm38/