The accmut's intro from shiyqw

View Code? Open in Web Editor NEW

This project forked from wangbo15/accmut

License: Other

CMake 0.33% Makefile 0.25% Shell 0.11% Go 0.10% C++ 39.43% OCaml 0.23% Python 0.42% C 18.98% SourcePawn 0.01% Objective-C 0.34% Assembly 8.52% Objective-C++ 0.01% Batchfile 0.01% CSS 0.01% HTML 0.01% LLVM 31.08% Mirah 0.16% Groff 0.01% Perl 0.02% Emacs Lisp 0.01%

accmut's Introduction

# AccMut
AccMut is a framework of mutation testing for C programs. AccMut implements 
two accelerating methods of mutaiton testing, one is static mutation analysis, 
the other one is dynamic mutation analysis. AccMut is developed integrated into 
the Low Level Virtual Machine (LLVM).


### Install AccMut
 * cd the-root-of-accmut
 * mkdir build
 * ../configure --enable-optimized
 * make

Then Accmut is integrated into the C compiler Clang, which is located at "build
/Release+Asserts/bin/clang".

### Generate the mutation description file.
Use the new compiler at "build/Release+Asserts/bin/clang" to compile the 
program being tested. The mutation description file will be generated in the 
path "$HOME/tmp/accmut/mutations.txt". Make sure the directory has 
already existed. This file contains all mutations generated. Each line represents 
a LLVM-IR level mutation.

Recommend Projects