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