Alternatives and similar repositories for cyclo

Users that are interested in cyclo are comparing it to the libraries listed below

• ispras / crusher
  ☆42Updated 2 months ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆67Updated last week
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago
• noseglasses / elf_diff
  A tool to compare ELF binaries
  ☆265Updated 2 weeks ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆120Updated 2 years ago
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆24Updated 2 weeks ago
• Armin-Montigny / MCDC
  Create minimum MCDC test sets for a boolean expression
  ☆46Updated 4 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 7 years ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆33Updated 5 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated last year
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆183Updated 5 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated last year
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆22Updated 2 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆181Updated last month
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆87Updated 6 years ago
• reeteshranjan / libgcov-embedded
  Port of libgcov portions to enable a way to generate GCDA files for embedded systems
  ☆33Updated 9 years ago
• danmar / gcc-plugins
  GCC plugins
  ☆29Updated 14 years ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆41Updated last year
• terminaldweller / mutator
  mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development
  ☆82Updated 4 years ago
• dmitrii-eremin / jfes
  Json For Embedded Systems (JFES)
  ☆72Updated 6 years ago
• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆28Updated last year
• AlexDenisov / mutation-testing-poc
  LLVM-based Mutation Testing System. Proof of concept
  ☆14Updated 9 years ago
• ligurio / lunapark
  Fuzzing Lua runtimes without pain
  ☆11Updated last week
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆30Updated 6 months ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆53Updated 11 years ago
• chaudron / cally
  Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files
  ☆203Updated 2 years ago
• lamer0k / CortexLib
  ☆27Updated last year
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated last week
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆69Updated last month
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆176Updated 7 years ago