[klee-dev] KLEE 3.0 is released!

[Cristian Cadar]

Hi all,

KLEE 3.0 is released! KLEE now has a purposely-designed deterministic 
memory allocator (KDAlloc), improved detection of use-after-free errors, 
ability to handle UBSan checks, support for concrete inline assembly, 
better statistics, compatibility with newer LLVM versions & more!

Big thanks to all contributors, particularly @MartinNowack and @251 as 
both contributors and co-maintainers; and @danielschemmel, 
@operasfantom, @mishok2503, and @jbuening for co-authoring several of 
the major new features in this release.

The new version (our 10th!), release notes and full list of contributors 
can be found at:
https://github.com/klee/klee/releases/tag/v3.0

Enjoy!
Cristian