Hi Piyush,
The short answer is no. More precisely, KLEE runs on LLVM bitcode, so
you need an LLVM frontend for the language. Each language also needs
some additional support to work with KLEE.
Best,
Cristian
On 26/08/2022 02:09, Piyush Jha wrote:
Hi everyone,
I'm looking for a tool for symbolic execution in C# or JAVA. Does Klee
support C# or JAVA?
I searched the mailing list archive and found the same question for JAVA
posted several years back. Does anyone know if there are any updates
regarding these?
I would really appreciate any help you can provide.
With kind regards,
Piyush
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
