1

I am new to KLEE, I want to run klee tool in java can you please tell me is it possible to run KLEE in java ? it yes, please show me some tutorials.

Balayesu Chilakalapudi
  • 1,386
  • 3
  • 19
  • 43

1 Answers1

2

KLEE works on LLVM bitcode, I don't think it's possible to run klee in JAVA. If you are just looking for a symbolic execution tool for JAVA, you can try JPF.

Dingbao Xie
  • 716
  • 9
  • 21
  • It could be possible for java code snippet with the same technique used in https://github.com/floyd-fuh/AFL_GCJ_Fuzzing_Simple. i.e. compile java code with gcj. – hailinzeng Jul 26 '17 at 06:36