<div dir="ltr">Hi<div><br></div><div>I need a concolic execution framework based on LLVM. As far as I know, KLEE might be the best choice. However, KLEE(the stable version) is based on LLVM 3.4. </div><div><br></div><div>I compiled my code with the latest LLVM, whose version is 7.0. Anyone know whether the bitcode could be used by KLEE. Or do I have to compile with the old version of LLVM again. Furthermore, if you have any other concolic execution framework, please recommend it to me. Many Thanks</div><div><br></div><div>Regards</div><div>Muhui</div></div>