Installation

Depending on your usage, you could use movy in several ways.

Use Movy as a Tool

It is the most common usage and we recommend using Movy via docker.

docker run --rm movyrs/movy --help

This shall print the help menu of Movy.

Additionally, you could also build Movy locally.

# Install dependencies on Ubuntu/Debian
apt install -y libssl-dev libclang-dev libz3-dev
# Install dependencies on macOS
brew install z3

# Build movy
git clone https://github.com/BitsLabSec/movy
cd movy && cargo build --release

This takes several minutes even on a powerful machine.

Use Movy as a Library

Add this to your Cargo.toml

movy = {git = "https://github.com/BitsLabSec/movy", branch = "master"}