I should also note that KLEE 2.0 was released[1] in line with LLVM 8.0 release. It is the first release in the last 2 years, so the amount of changes is huge. I

I should also note that KLEE 2.0 was released[1] in line with LLVM 8.0 release. It is the first release in the last 2 years, so the amount of changes is huge. If you are using symbolic execution - I recommend you to check out this version. [1] https://github.com/klee/klee/releases/tag/v2.0 https://github.com/klee/klee/releases/tag/v2.0