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

[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

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>