OK I see.. Thank you so much! I'll take a look at the tools you suggested.
Zhenyu
On Sun, Jun 21, 2015 at 6:02 PM, Sean Bartell s...@yotann.org wrote:
Zhenyu Zhou on 2015-06-20:
I'm looking for a tool for symbolic execution and find that Klee is a
fantastic tool. But now I'm wondering
Zhenyu Zhou on 2015-06-20:
I'm looking for a tool for symbolic execution and find that Klee is a
fantastic tool. But now I'm wondering whether Klee can analyse JAVA codes
(or class files)? I have searched in the mail list and found the same
question is posted several years ago. Does anyone know