mull-project / mull
Practical mutation testing and fault injection for C and C++
☆762Updated this week
Alternatives and similar repositories for mull:
Users that are interested in mull are comparing it to the libraries listed below
- C++ Mutation Test Environment☆179Updated 8 months ago
- Useful resources and samples for using Clang-related tools, or for building stuff on top of Clang.☆227Updated last year
- ☆803Updated this week
- generates .clang-format file from example codebase☆318Updated 3 months ago
- Templight is a Clang-based tool to profile the time and memory consumption of template instantiations and to perform interactive debuggin…☆749Updated 3 months ago
- Suite of C/C++ tooling built on LLVM/Clang☆104Updated last month
- Convert .ninja_log files to chrome's about:tracing format.☆439Updated 9 months ago
- CMake modules to help use sanitizers☆388Updated 5 months ago
- A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types☆407Updated this week
- Clang's scan-build re-implementation in python☆373Updated 2 years ago
- CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java☆543Updated this week
- Clang build analysis tool using -ftime-trace☆1,054Updated last week
- Super-parallel Python port of the C-Reduce☆273Updated 2 months ago
- A LLVM-based static analysis framework.☆975Updated this week
- A collection of out-of-tree Clang plugins for teaching and learning☆726Updated 4 months ago
- Customizable Naming Convention Checker - uses Clang, developed with C++ in mind☆127Updated 9 years ago
- QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.☆1,033Updated 8 months ago
- An easy guide to Clang Static Analyzer extension.☆140Updated 5 years ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,362Updated this week
- Code Analysis and Refactoring with Clang Tools☆124Updated 4 years ago
- Native ApprovalTests for C++ on Linux, Mac and Windows☆322Updated 2 months ago
- Generate code coverage reports with gcc/gcov☆911Updated this week
- LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In…☆519Updated 3 years ago
- Rewrite C++ code to automatically apply `constexpr` where possible☆246Updated 2 years ago
- An additive strong typedef library for C++14/17/20☆431Updated 2 months ago
- A C++ micro-benchmarking framework☆362Updated 5 years ago
- C++ ABI Summary☆535Updated 3 months ago
- Love template metaprogramming☆329Updated 2 years ago
- Tool to check C++ #include dependencies (dependency graphs created in .dot format)☆754Updated last year
- SeaHorn Verification Framework☆445Updated 3 weeks ago