Hello to everyone. I have read from previous messages in the mailing list that there is work on KLEE to support latex LLVM and Clang. What is the status of that branch? Which versions of LLVM and Clang currently supports? How do I obtain and build it?
University of Milano-Bicocca