bright-tools / ccsm
C Code Source Metrics - tool to gather simple metrics from C code
☆34Updated 5 months ago
Related projects: ⓘ
- ☆16Updated this week
- Metrix++ is an extendable tool for code metrics collection and analysis.☆75Updated 5 months ago
- Source code counter and metrics tool for C++, C, and Java☆57Updated last year
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆20Updated 4 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- CMetrics measures size and complexity for C files☆69Updated 9 years ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆19Updated 3 years ago
- ☆15Updated this week
- Toolset to do differential testing on the Clang Static Analyzer☆19Updated last year
- C Quality Metrics☆63Updated 2 years ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆157Updated 6 years ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆43Updated 6 years ago
- EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.☆18Updated 3 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 2 years ago
- KLEE's version of uClibc☆46Updated 3 months ago
- Static Analyzer and Verifier☆44Updated 9 months ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆167Updated 9 months ago
- An interactive (fast) static source code analyzer☆136Updated last week
- OpenCL extension for csmith.☆23Updated 7 years ago
- Tool for mutation testing of C programs☆19Updated 4 years ago
- Visual code dependency graph creation for C/C++ projects☆106Updated last month
- Tools for extended finite-state machine synthesis and testing☆18Updated last year
- Create minimum MCDC test sets for a boolean expression☆32Updated 3 years ago
- C code refactoring browser☆194Updated 2 weeks ago
- Experiments with the gcc plugin mechanism☆103Updated 9 months ago
- ☆33Updated last year
- KLEEF Symbolic Execution Engine☆13Updated this week
- Static Slicer for LLVM☆65Updated 8 years ago
- ☆48Updated 8 years ago