Version: next

Getting started with Infer

Get Infer

You can use Homebrew (Mac only), our binary releases, build infer from source, or use our Docker image.

On Mac, the simplest way is to use Homebrew. Type this into a terminal:

brew install infer

On Linux, or if you do not wish to use Homebrew on Mac, use our latest binary release. Download the tarball then extract it anywhere on your system to start using infer. For example, this downloads infer in /opt on Linux (replace VERSION with the latest release, eg VERSION=0.17.0):

curl -sSL "$VERSION/infer-linux64-v$VERSION.tar.xz" \
| sudo tar -C /opt -xJ && \
sudo ln -s "/opt/infer-linux64-v$VERSION/bin/infer" /usr/local/bin/infer

If the binaries do not work for you, or if you would rather build infer from source, follow the install from source instructions to install Infer on your system.

Alternatively, use our Docker image:

wget -O Dockerfile
wget -O

Try Infer in your browser

Try Infer on a small example on Codeboard.