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

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to