Project

General

Profile

BLAST 2.7.1 has been released

Added by Mikhail Mandrykin about 7 years ago

You may download sources and binaries on the Files page of the BLAST project. See also the original project page.

Release notes

This version fixes a couple of bugs exposed at the Competition on Software Verification at TACAS'12. We advise you to use 2.7.1 instead of 2.7.

Analysis

  • Fix bug that all undefined local variables, such as int __VERIFIER_nondet_int() { int val; return val; }, were treated as equal in all calls of a function.

Infrastructure improvements

  • Binary builds are now compatible with RHEL 5.

Comments