User Manual

Suported Systems

Muteria is written in Python and thus can run on Windows, Linux or macOS.

Installation

muteria requires Python 3.

  1. Install Muteria by running:

pip install muteria

  1. View the usage help:

muteria --help

Usage

Muteria requires to have the underlying tools installed on the system.

Usage example C (in Docker container)

A docker image, with preinstalled tools, can be used to run muteria on a sample C language program. The installed tools are: GNU GCov, KLEE, Shadow, Mart, SEMu.

  1. Pull the docker image:

docker pull thierrytct/cm

  1. run the docker image in a container:

docker run -it --rm thierrytct/cm bash

  1. Download the example program:

git clone https://github.com/muteria/example_c.git

  1. Change into the example program directory:

cd example_c

  1. run using the configuration file in ctrl/conf.py

muteria --config ctrl/conf.py --lang c run

Usage example Python

Example of measuring coverage for a python program using coverage.py.

  1. Install coverage.py: