dspinellis / cqmetricsLinks
C Quality Metrics
☆66Updated 3 years ago
Alternatives and similar repositories for cqmetrics
Users that are interested in cqmetrics are comparing it to the libraries listed below
Sorting:
- C code refactoring browser☆212Updated last week
- ☆113Updated last year
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- An interactive (fast) static source code analyzer☆175Updated 3 weeks ago
- C call graph generator☆55Updated 7 years ago
- CMetrics measures size and complexity for C files☆74Updated 10 years ago
- GCC plugin that embeds CPython inside the compiler☆207Updated 3 years ago
- CCG is a random C Code Generator☆43Updated 3 years ago
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated last year
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆187Updated 3 years ago
- Release snapshots of the Frama-C platform for source code analysis☆177Updated 5 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆62Updated 3 weeks ago
- Parallel Delta Debugging Framework☆53Updated last month
- Secure Coding Validation Suite☆70Updated 12 years ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Updated 5 years ago
- C Code Source Metrics - tool to gather simple metrics from C code☆38Updated last year
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- Hierarchical Delta Debugging Framework☆59Updated last month
- A static checker for identifying unstable code.☆362Updated 10 years ago
- static analysis benchmarks from Toyota ITC☆116Updated 2 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆76Updated 3 weeks ago
- A higher order mutation testing tool☆58Updated 4 years ago
- Public snapshots of "ACSL by Example"☆115Updated 5 months ago
- Splint - annotation-assisted static program checker☆328Updated 11 months ago
- Experiments with the gcc plugin mechanism☆112Updated last year
- KLEE's version of uClibc☆55Updated last year
- Static Analyzer and Verifier☆48Updated last year
- Manipulate C-family ASTs with Clang☆69Updated 11 years ago