1

As I have understood, I can not use klee on programs in C++14, as llvm-3.4 does not support it.

However, I would like to know if there is any way, trick, experimental version, etc, which would allow me use klee on c++14 programs.

lrleon
  • 2,610
  • 3
  • 25
  • 38

1 Answers1

0

klee is effectively dead, so I doubt it will be updated to something newer than LLVM 3.4 unless there will be someone who will start to maintain it.

Anton Korobeynikov
  • 9,074
  • 25
  • 28
  • 1
    Last release is from 31 March 2016, and there is Pull request for LLVM 3.8 support... – Jarod42 Aug 16 '16 at 10:51
  • @Jarod42, oh really, where? http://llvm.org/viewvc/llvm-project/klee/ shows the last commit was 21 months ago with just "URL" fix. – Anton Korobeynikov Aug 16 '16 at 18:40
  • @Jarod42 (or someone else) do you know if it exists another environment that computes inputs for traversing all the execution paths of a given function? – lrleon Sep 26 '17 at 18:46