[klee-dev] Use Klee with Java?

[Zhenyu Zhou]

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
-------------- next part --------------
HTML attachment scrubbed and removed