[klee-dev] Running KLEE on Linux

[Faysal Hossain Shezan]

I saw your post:
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>
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