[klee-dev] Running KLEE on Linux

[Cristian Cadar]

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@imperial.ac.uk/msg03057.html 
> <https://www.mail-archive.com/klee-dev@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