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
<fs...@virginia.edu <mailto:fs...@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@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
