[klee-dev] Klee for a C++ project

[Radu Stoenescu]

Hello,

I am interested in analyzing a C++ project using Klee.

I am aware that Klee is not readily available for such a task. I am
encouraged,
though, by the existing work in this direction (for example Klover [1]).

My approach would be to:

   - Write a script similar to 'klee-gcc' for passing it to gmake
   - Use uClibc++
   - Strip as much as possible of the interaction with the outside world
   (POSIX

runtime and library calls).

Is there any advice that I should be aware before embarking ?

Many thanks,
-- 
Radu Stoenescu

[1]: http://www.cs.utah.edu/~ligd/publications/KLOVER-CAV11.pdf
-------------- next part --------------
HTML attachment scrubbed and removed