A new release of the Software Analysis Workbench (SAW) is now available! This release includes a large collection of new features and bug fixes enabling verification of a wider variety of Java and LLVM programs. A list of changes is available here, along with binaries for a variety of platforms.
Additionally, this release changes the license of SAW to the standard 3-clause BSD license (replacing the previous license that allowed only non-commercial use). Our goal is for this license change to encourage wider adoption of the tools, and to facilitate the construction of new tools on top of SAW.