Skip to content
This repository has been archived by the owner on Nov 25, 2023. It is now read-only.
/ chernobyl Public archive

Generate intelligent mutations by parsing the C++ AST

Notifications You must be signed in to change notification settings

corecheck/chernobyl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation


Bitcoin Coverage
Chernobyl

Generate intelligent mutations by parsing the C++ AST

📖 Introduction

This repository contains the source code of the Chernobyl mutation generator. It is used by the Bitcoin Coverage project to generate intelligent mutations for the Bitcoin Core project. It uses clang-tidy checks to generate mutations.

🚀 Adding a new mutator

Here is a step-by-step guide to add a new mutator to Chernobyl.

  • Create a new clang-tidy check in checks/.
  • Import the new check in mutator_module.cpp.
  • Register the new check in mutator_module.cpp and give it a name.

📦 Building

To build the project, you need to install the following dependencies:

  • CMake
  • libclang-16-dev
  • clang-tidy-16 source code in ./clang-tidy

See .github/workflows/cmake-single-platform.yml for an example of how to build the project.

📝 License

MIT - Aurèle Oulès

About

Generate intelligent mutations by parsing the C++ AST

Resources

Stars

Watchers

Forks