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
On 15/05/2014 08:55, Radu Stoenescu wrote:
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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
