dspinellis / cqmetricsLinks
C Quality Metrics
☆67Updated 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☆219Updated 2 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- CMetrics measures size and complexity for C files☆77Updated 10 years ago
- ☆113Updated last year
- An interactive (fast) static source code analyzer☆180Updated last week
- The C parser for GumTree☆14Updated 5 years ago
- GCC plugin that embeds CPython inside the compiler☆207Updated 4 years ago
- Release snapshots of the Frama-C platform for source code analysis☆182Updated 5 years ago
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- C call graph generator☆55Updated 8 years ago
- Public snapshots of "ACSL by Example"☆120Updated 2 weeks ago
- A higher order mutation testing tool☆58Updated 5 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆187Updated 3 years ago
- C Code Source Metrics - tool to gather simple metrics from C code☆39Updated last year
- A Shape Analyzer Based on Symbolic Memory Graphs☆78Updated 2 weeks ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Updated last year
- static analysis benchmarks from Toyota ITC☆120Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated 2 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Updated 5 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- Hierarchical Delta Debugging Framework☆59Updated last month
- Static Analyzer and Verifier☆51Updated last year
- CCG is a random C Code Generator☆43Updated 3 years ago
- Parallel Delta Debugging Framework☆54Updated last month
- A static checker for identifying unstable code.☆364Updated 10 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆64Updated last month
- Secure Coding Validation Suite☆16Updated 6 years ago
- Manipulate C-family ASTs with Clang☆69Updated 11 years ago
- Secure Coding Validation Suite☆70Updated 13 years ago