dspinellis / cqmetrics

Related projects ⓘ

Alternatives and complementary repositories for cqmetrics

• dspinellis / cscout
  C code refactoring browser
  ☆197Updated 2 months ago
• MetricsGrimoire / CMetrics
  CMetrics measures size and complexity for C files
  ☆70Updated 9 years ago
• cbdevnet / rtl2dot
  C call graph generator
  ☆53Updated 6 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆19Updated 11 months ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated last year
• coccinelle / coccinellery
  ☆108Updated 4 months ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆177Updated 2 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆47Updated 5 months ago
• matheustavares / gcc-callgraph-plugin
  A GCC plugin to dump call graphs for programs being compiled using LTO.
  ☆21Updated 4 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆44Updated 7 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated 2 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆42Updated last month
• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆26Updated 4 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆56Updated 11 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated 3 weeks ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆68Updated 7 years ago
• error27 / smatch
  Static Analyser for C
  ☆102Updated this week
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 8 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated last month
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆29Updated 9 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆159Updated 4 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆12Updated 4 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆154Updated last year
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆139Updated 2 weeks ago
• lucvoo / sparse
  mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git
  ☆29Updated 9 months ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago