[klee-dev] Apply KLEE to simple Python program

[gwpublic at wp.pl]

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