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.