From fs5ve at virginia.edu  Mon Sep 12 08:44:21 2022
From: fs5ve at virginia.edu (Faysal Hossain Shezan)
Date: Mon, 12 Sep 2022 02:44:21 -0500
Subject: [klee-dev] Running KLEE on Linux
Message-ID: <CAKmL7ASEZBdO56mtGwd7BDe8tny9zVqJ18tKj9w6JEFN3uS7xQ@mail.gmail.com>

Hi,

We a group of researchers from the University of Virginia, the University
of Santa-Barbara, and University of California, Los Angeles are working on
finding exploits in Linux. Seeing the performance of KLEE we want to use
this tool on the Linux kernel. Unfortunately, we are not able to run it on
linux kernel due to facing some errors during building .bc file. Can you
point us to some guideline or any previous work/link? It would be really
helpful.



Thanks!

-- 
Regards,

*Faysal Hossain Shezan*
PhD Student
Department of  Computer Science
University of Virginia
Charlottesville, VA-22903
Website: https://www.cs.virginia.edu/~fs5ve/
-------------- next part --------------
HTML attachment scrubbed and removed

From fs5ve at virginia.edu  Mon Sep 12 08:46:31 2022
From: fs5ve at virginia.edu (Faysal Hossain Shezan)
Date: Mon, 12 Sep 2022 02:46:31 -0500
Subject: [klee-dev] Running KLEE on Linux
In-Reply-To: <CAKmL7ASEZBdO56mtGwd7BDe8tny9zVqJ18tKj9w6JEFN3uS7xQ@mail.gmail.com>
References: <CAKmL7ASEZBdO56mtGwd7BDe8tny9zVqJ18tKj9w6JEFN3uS7xQ@mail.gmail.com>
Message-ID: <CAKmL7ARXh6+a4LnvpuHSDN6=_v-hOWDSJW8Tm1CULBhik0M+4g@mail.gmail.com>

I saw your post:
https://www.mail-archive.com/klee-dev at imperial.ac.uk/msg03057.html
But none of those two works seem to be working. (for the OSDI paper, we
were not able to find the source code)

On Mon, Sep 12, 2022 at 2:44 AM Faysal Hossain Shezan <fs5ve at virginia.edu>
wrote:

> Hi,
>
> We a group of researchers from the University of Virginia, the University
> of Santa-Barbara, and University of California, Los Angeles are working on
> finding exploits in Linux. Seeing the performance of KLEE we want to use
> this tool on the Linux kernel. Unfortunately, we are not able to run it on
> linux kernel due to facing some errors during building .bc file. Can you
> point us to some guideline or any previous work/link? It would be really
> helpful.
>
>
>
> Thanks!
>
> --
> Regards,
>
> *Faysal Hossain Shezan*
> PhD Student
> Department of  Computer Science
> University of Virginia
> Charlottesville, VA-22903
> Website: https://www.cs.virginia.edu/~fs5ve/
>


-- 
Regards,

*Faysal Hossain Shezan*
PhD Student
Department of  Computer Science
University of Virginia
Charlottesville, VA-22903
Website: https://www.cs.virginia.edu/~fs5ve/
-------------- next part --------------
HTML attachment scrubbed and removed

From c.cadar at imperial.ac.uk  Tue Sep 13 11:30:13 2022
From: c.cadar at imperial.ac.uk (Cristian Cadar)
Date: Tue, 13 Sep 2022 11:30:13 +0100
Subject: [klee-dev] Running KLEE on Linux
In-Reply-To: <CAKmL7ARXh6+a4LnvpuHSDN6=_v-hOWDSJW8Tm1CULBhik0M+4g@mail.gmail.com>
References: <CAKmL7ASEZBdO56mtGwd7BDe8tny9zVqJ18tKj9w6JEFN3uS7xQ@mail.gmail.com>
	<CAKmL7ARXh6+a4LnvpuHSDN6=_v-hOWDSJW8Tm1CULBhik0M+4g@mail.gmail.com>
Message-ID: <a8922622-8dbc-a1b3-61a0-ad0fec16f257@imperial.ac.uk>

Hi Faysal,

You should contact the authors of those papers for more details, they 
might not be subscribed to this list.

Best,
Cristian

On 12/09/2022 08:46, Faysal Hossain Shezan wrote:
> I saw your post: 
> https://www.mail-archive.com/klee-dev at imperial.ac.uk/msg03057.html 
> <https://www.mail-archive.com/klee-dev at imperial.ac.uk/msg03057.html>
> But none of those two works seem to be working. (for the OSDI paper, we 
> were not able to find the source code)
> 
> On Mon, Sep 12, 2022 at 2:44 AM Faysal Hossain Shezan 
> <fs5ve at virginia.edu <mailto:fs5ve at virginia.edu>> wrote:
> 
>     Hi,
> 
>     We a group of researchers from the University of Virginia, the
>     University of Santa-Barbara, and University of California, Los
>     Angeles are working on finding exploits in Linux. Seeing the
>     performance of KLEE we want to use this tool on the Linux kernel.
>     Unfortunately, we are not able to run it on linux kernel due to
>     facing some errors during building .bc file. Can you point us to
>     some guideline or any previous work/link? It would be really helpful.
> 
> 
> 
>     Thanks!
> 
>     -- 
>     Regards,
> 
>     *Faysal Hossain Shezan*
>     PhD?Student
>     Department of ?Computer Science
>     University of Virginia
>     Charlottesville, VA-22903
>     Website: https://www.cs.virginia.edu/~fs5ve/
>     <https://www.cs.virginia.edu/~fs5ve/>
> 
> 
> 
> -- 
> Regards,
> 
> *Faysal Hossain Shezan*
> PhD?Student
> Department of ?Computer Science
> University of Virginia
> Charlottesville, VA-22903
> Website: https://www.cs.virginia.edu/~fs5ve/ 
> <https://www.cs.virginia.edu/~fs5ve/>
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


From c.cadar at imperial.ac.uk  Tue Sep 13 11:39:17 2022
From: c.cadar at imperial.ac.uk (Cristian Cadar)
Date: Tue, 13 Sep 2022 11:39:17 +0100
Subject: [klee-dev] Use KLEE with JAVA and C#
In-Reply-To: <CAPFe32cPbZCC10GQVCohApC64HG5UwEoMiFhxSh+jsb90=xJ1g@mail.gmail.com>
References: <CAPFe32cPbZCC10GQVCohApC64HG5UwEoMiFhxSh+jsb90=xJ1g@mail.gmail.com>
Message-ID: <53e4c02a-4582-df4c-928f-a5a32b4bf9c1@imperial.ac.uk>

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