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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
