Alternatives and similar repositories for cyclo

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

• reeteshranjan / libgcov-embedded
  Port of libgcov portions to enable a way to generate GCDA files for embedded systems
  ☆33Updated 9 years ago
• ispras / crusher
  ☆42Updated 2 months ago
• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆28Updated last year
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆183Updated 5 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
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 7 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆119Updated 2 years ago
• lamer0k / CortexLib
  ☆27Updated last year
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated last week
• cjlano / tinysh
  tinysh: minimal shell
  ☆32Updated 14 years ago
• noseglasses / elf_diff
  A tool to compare ELF binaries
  ☆265Updated 2 weeks ago
• MetricsGrimoire / CMetrics
  CMetrics measures size and complexity for C files
  ☆79Updated 10 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆67Updated last week
• antmicro / ecos
  eCos 3.0 RTOS, with Xiilinx Zynq and NXP Vybrid support and other additions
  ☆19Updated 9 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
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• ReservedField / arm-compiler-rt
  Easy cross-compilation of compiler-rt for bare metal ARM targets
  ☆22Updated 9 years ago
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 4 years ago
• dspinellis / cscout
  C code refactoring browser
  ☆220Updated 2 months ago
• GaloisInc / dismantle
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆26Updated 5 months ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆41Updated last year
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 3 years ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆69Updated last month
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated last year
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• Armin-Montigny / MCDC
  Create minimum MCDC test sets for a boolean expression
  ☆46Updated 4 years ago
• rogercollins / bare_core
  Bare metal core dump
  ☆11Updated 6 years ago
• keleshev / misra-c
  MISRA-C:2004 simplest rules checker
  ☆28Updated 14 years ago