Sample project for the static analysis workshop at rustfest Paris (2018)

Prerequisites

rustup override set nightly-2018-12-21

Installing the checker

cargo install

Running the checker

We're changing the target-dir in order to prevent rebuilding when building normally without the checker

RUSTC_WRAPPER=rustfest2018_workshop cargo check --target-dir /tmp/checker/`pwd`