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