Re: [klee-dev] Linking C++ runtime

Thanks for sharing your experience, Eric. C++ is not officially supported by KLEE, and we don't have a full list of features that we support -- although this email and Dan's recent email did a good job highlighting what we do not support. As I said, we welcome any contributions! Cristian

Re: [klee-dev] Linking C++ runtime

Hi! I managed to get my app working with a moderately complex C++ library and program (about 13000 lines of code) by replacing some C++ library functions with plain C ones (std::string -> char*, std::cout -> std::printf, std::fstream -> std::FILE*, std::stringstream -> std::sprintf, etc.) and

Re: [klee-dev] Linking C++ runtime

Hi, improved support for C++ is not on our current list of priorities, but we would be of course happy to accept any contributions. Best, Cristian On 26/09/16 21:28, Reza Ahmadi wrote: How to get to know what exactly it supports and what not? Do you have any idea if C++ will be supported more

Re: [klee-dev] Linking C++ runtime

On 26 September 2016 at 20:56, Eric Laberge wrote: > Hello! > > I am trying to get KLEE running a simple C++ app through Docker, but am > obviously not doing it correctly. Anybody got it working? > > Here’s what I got: > > klee@77c9c1d55f4a:/tmp$ cat hello.cpp > int main() {

[klee-dev] Linking C++ runtime

Hello! I am trying to get KLEE running a simple C++ app through Docker, but am obviously not doing it correctly. Anybody got it working? Here’s what I got: klee@77c9c1d55f4a:/tmp$ cat hello.cpp int main() { return 0; } klee@77c9c1d55f4a:/tmp$ clang++ -c hello.cpp -emit-llvm -g -o hello.bc