[klee-dev] Apply KLEE to simple Python program

gwpublic at wp.pl gwpublic at wp.pl
Tue Apr 30 13:43:35 BST 2013


Hi Loi,

> Yes, what I want is the second option. However, I haven't got your point
> about the first one, can you explain more about it?



If you want second option , I am afraid you might need to create your
own solution.

If you want first, you will achieve it by symbolically executing
python interpreter running you code.

Cheers,
Greg




More information about the klee-dev mailing list