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,

[Cristian Cadar]

Hi Radu,

Setting up uclibc++ to work with KLEE would be indeed a good start. I
know Tomek (cc-ed) wanted to try the same thing, you might want to sync
with him.

Best,
Cristian

Post by 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]).
* 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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev