klee on C++ 14個程序

Question

據我所知，我不能在C++14的程序中使用klee，因爲 llvm-3.4不支持它。

但是，我想知道是否有任何方法，技巧，實驗 版本等，這將允許我在C++ 14程序上使用klee。

Answer 1

klee實際上已經死了，所以我懷疑它會被更新到比LLVM 3.4更新的東西，除非有人會開始維護它。