Installation Guide

In order to use MIRAI, you need to install Rust and then install MIRAI into cargo.

Installing Dependencies

Please ensure that all of the following dependencies are installed:

• Rust using rustup. You can find the installation instructions here.
• Cmake. The installation instructions can be found here.
• Clang. The installation instructions can be followed here.

Installing MIRAI into cargo

The best way to install MIRAI into cargo is to clone the MIRAI repository:

git clone https://github.com/endorlabs/MIRAI.git
cd MIRAI

Then build and install MIRAI into cargo:

cargo install --locked --path ./checker

Contributing to MIRAI

If you want to help develop MIRAI see the developer guide