c++ - klee 在 c++14 程序上

Question

据我了解，我不能klee在 中的程序上使用C++14，因为 llvm-3.4不支持它。

但是，我想知道是否有任何方法、技巧、实验版本等可以让我在 c++14 程序上使用 klee。

Answer 1

klee 实际上已经死了，所以我怀疑它会更新到比 LLVM 3.4 更新的东西，除非有人会开始维护它。