forked from wangbo15/accmut
shiyqw/accmut
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
# 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.
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C++ 39.5%
- LLVM 31.0%
- C 19.0%
- Assembly 8.5%
- Python 0.4%
- Objective-C 0.3%
- Other 1.3%