[klee-dev] Use KLEE with JAVA and C#

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev