[klee-dev] KLEE: external tutorials, blog posts & more

[Cristian Cadar]

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