Cristian Cadar announced the 1.4.0 release of KLEE.
KLEE 1.4.0 is now available at
https://github.com/klee/klee/releases/tag/v1.4.0
Lots of new changes, in particular a new CMake build system, support for some missing features for LLVM 3.4 (and partial support for 3.5 and 3.6), better support for MacOS, support for release documentation (as in http://klee.github.io/releases/docs/v1.4.0/) and many other optimizations, features and bug fixes.[…]
Full announcement:
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
https://klee.github.io/
Firmware Security 