33 lines (24 loc) · 822 Bytes

MSV

An APR tool for C/C++ programs, based on Prophet.
Repair with meta-program, search with Casino.

Dependencies

LLVM/Clang 11
Python 3.6+
zlib
libcurses
pthread

Docker Image

Run docker pull kyj1411/msv to get docker image.

Manual Build

Just run build.sh.

Run MSV

python3 msv-runner.py [options] <src-dir> <work-dir> <msv-path>

<src-dir>: root directory of project
<work-dir>: working directory. work directory of project will be generated in here.
<msv-path>: root directory of MSV

Every paths should be absolute path!

Options

-r: run MSV and generate meta-program under <work-dir>/<project>-workdir/src
-s: use specific FL result file instead of prophet/SPR's FL. only works with -r.

Example programs

Example programs are in examples/engagement1.