dspinellis / cscout

Related projects ⓘ

Alternatives and complementary repositories for cscout

• kframework / c-semantics
  Semantics of C in K
  ☆306Updated 2 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆64Updated 2 years ago
• splintchecker / splint
  Splint - annotation-assisted static program checker
  ☆304Updated 7 months ago
• coccinelle / coccinellery
  ☆108Updated 3 months ago
• fanf2 / unifdef
  selectively remove C preprocessor conditionals
  ☆162Updated 6 months ago
• emeryberger / Malloc-Implementations
  A collection of memory allocators
  ☆435Updated 12 years ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆623Updated this week
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆112Updated last year
• xiw / stack
  A static checker for identifying unstable code.
  ☆359Updated 9 years ago
• davidmalcolm / gcc-python-plugin
  GCC plugin that embeds CPython inside the compiler
  ☆201Updated 2 years ago
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆152Updated 3 months ago
• caolanm / callcatcher
  find unused code by collecting methods defined but not called or referenced
  ☆96Updated 10 months ago
• lttng / lttng-modules
  This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…
  ☆85Updated this week
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆85Updated 4 years ago
• rurban / safeclib
  safec libc extension with all C11 Annex K functions
  ☆335Updated 6 months ago
• error27 / smatch
  Static Analyser for C
  ☆102Updated last week
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆139Updated this week
• lvc / abi-tracker
  A tool to visualize ABI changes timeline of a C/C++ software library
  ☆191Updated 3 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆173Updated 5 years ago
• nelhage / ministrace
  A minimal toy implementation of strace(1)
  ☆170Updated last year
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆34Updated 7 months ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆167Updated 4 years ago
• efficios / babeltrace
  Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.
  ☆89Updated this week
• libfirm / cparser
  C99 parser and frontend for libfirm
  ☆340Updated last year
• MetricsGrimoire / CMetrics
  CMetrics measures size and complexity for C files
  ☆70Updated 9 years ago
• drothlis / clang-ctags
  Generate tag file for C++ source code, using the clang C++ compiler's parsing libraries
  ☆240Updated 7 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆154Updated last year
• cgreen-devs / cgreen
  A modern, portable, cross-language unit testing and mocking framework for C and C++
  ☆176Updated this week
• drh / iburg
  A Tree Parser Generator
  ☆91Updated last month