[klee-dev] Running KLEE on Linux

[Faysal Hossain Shezan]

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