[kren1]

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

[xvilka]

3.8 is super old already.