Hi all,
I've just added to the KLEE website a list of external tutorials, blog
posts and other external resources on KLEE. In particular, I added a
link David Korczynski's video tutorials on KLEE; Dennis Yurichev's
"SAT/SMT by Example" book; Alastair Reid's project on checking Rust code
(thanks Alastair for sharing the info with the list); and a recent blog
post from Timotej Kapus and me on measuring coverage in symbolic
execution (alongside other external resources that were already there).
Please check https://klee.github.io/tutorials/ for the full list.
If you are aware of other good resources on KLEE, please let me know (or
simply contribute a PR at https://github.com/klee/klee.github.io/pulls).
On a related note, please also consider contributing to the list of
publications (and associated systems) that report on using/extending
KLEE: https://klee.github.io/publications/. The list has now over 160
interesting publications; big thanks to Frank Busse, who is currently
maintaining it.
Best wishes,
Cristian
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
