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, <[email protected]> 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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
