[klee-dev] Apply KLEE to simple Python program

[Loi Luu]

Hi Greg,

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?

Thanks,


On Tue, Apr 30, 2013 at 6:53 PM, <gwpublic at wp.pl> wrote:

> Hello,
>
> > I am having an idea that we can apply KLEE to automatically generate test
> > cases for a simple Python program since, as far as I know, Python was
> > (...)
> > So anyone has tried or has any comment about this idea? I would love to
> > know.
>
> The question is:
> * Do you want to symbolically analyse python interpreter running given
> python code ?
> Or
> * Do you want to symbolically analyse python code ?
>
> If first option: KLEE sounds like good candidate.
>
> If second option:
> It might be overkill, showing you interesting properties that apply
> only to given interpreter... but still, it should be possible.
>
> Cheers,
> Greg
>



-- 
Loi, Luu The (Mr.)
University of  Engineering and Technology, Vietnam National University,
Hanoi.
-------------- next part --------------
HTML attachment scrubbed and removed