Hi all, 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 are there any progresses in this direction?
Many thanks! Zhenyu
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
