LogoLogo
Galois Website
SAW
SAW
  • SAW: The Software Analysis Workbench
  • DOCUMENTATION
    • 📋SAW Tutorials and Manual
    • 📚Publications
  • Crux
    • 🔣What is Crux?
    • ❓When should I use Crux?
    • ⬇️Download Crux
  • OPEN SOURCE
    • Overview
    • How to Contribute
  • Download
    • Get SAW
      • Public Key
Powered by GitBook
On this page
  • Download a Binary
  • Dependencies
Export as PDF
  1. Download

Get SAW

PreviousHow to ContributeNextPublic Key

Last updated 1 month ago

Download a Binary

  • ()

  • ()

  • ()

  • ()

  • ()

SAW binaries for Linux and macOS are available from the GitHub . Binaries are distributed as .tar.gz or .zip files which you can extract to a location of your choice.

Nightly builds are also available .

GPG signatures are available for each release, and we encourage you to against our before installing to ensure the integrity of the release you downloaded.

SAW is also available for and can be fetched using one of the following commands (for the REPL and RPC API, respectively):

docker pull ghcr.io/galoisinc/saw:1.3
docker pull ghcr.io/galoisinc/saw-remote-api:1.3

Nightly versions of the Docker images are also available:

docker pull ghcr.io/galoisinc/saw:nightly
docker pull ghcr.io/galoisinc/saw-remote-api:nightly

Dependencies

SAW can make use of a variety of external tools, particularly SMT solvers. Due to SAW’s use of , the Z3 solver is a strict dependency for Cryptol type checking.

The full set of SMT solvers we currently support for other verification tasks is determined by Levent Erkök’s package and Galois’ package. This set currently includes ABC, Boolector, CVC4, CVC5, MathSAT, Yices, and Z3. These solvers can be downloaded from their respective developers at the locations below.

from UC Berkeley

from Johannes Kepler University Linz

from New York University

from Stanford University and the University of Iowa

from Fondazione Bruno Kessler

from SRI International

from Microsoft Research

As of release v1.1, we also provide binary packages for SAW that include compatible versions of a variety of solvers. Look for archive files that have with-solvers in the filename on the .

Linux (Ubuntu 22.04)
GPG Signature
Linux (Ubuntu 20.04)
GPG Signature
macOS 13 (X64)
GPG Signature
macOS 14 (ARM64)
GPG Signature
Windows
GPG Signature
releases page
here
check the signature
public key
Docker
SBV
What4
ABC
Boolector
CVC4
CVC5
MathSAT
Yices
Z3
v1.2 release page
Cryptol