Hi,
On Thu, 29 Apr 2021 17:35:10 +0100 Alastair Reid <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
