[klee-dev] Using KLEE on Linux kernel drivers?

[Frank Busse]

Hi,


On Thu, 29 Apr 2021 17:35:10 +0100
Alastair Reid <adreid at google.com> wrote:

> I am certain that somebody must have used KLEE on Linux kernel
> drivers in the past and wonder if you could point me at that work?
> 
> I am particularly interested in how to write a test harness that
> directly invokes functions in the drivers because the most obvious
> approach of using a usermode test program to invoke KLEE on the
> entire kernel is... unappealing.

Off the top of my head just:

https://www.usenix.org/system/files/conference/osdi12/osdi12-final-4.pdf
(S2E)

https://link.springer.com/article/10.1007/s10515-020-00276-5 (KLEE)


Kind regards,

Frank