Alternatives and similar repositories for cyclo:

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

• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆27Updated 7 months ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• ispras / crusher
  ☆40Updated 2 months ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆47Updated 4 months ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 4 years ago
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆85Updated 5 years ago
• ligurio / luzer
  A coverage-guided, native Lua fuzzing engine.
  ☆39Updated 3 weeks ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆51Updated 8 months ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• xyproto / cdetect
  Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
  ☆29Updated last year
• ispras / qdt
  QEMU Development Toolkit
  ☆39Updated 7 months ago
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆22Updated last month
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆16Updated last year
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆25Updated 5 months ago
• bluepilot / scvs
  Secure Coding Validation Suite
  ☆16Updated 5 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated 3 weeks ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆51Updated 3 weeks ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆32Updated 7 years ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆143Updated 3 weeks ago
• dmitrii-eremin / jfes
  Json For Embedded Systems (JFES)
  ☆71Updated 5 years ago
• AlexDenisov / mutation-testing-poc
  LLVM-based Mutation Testing System. Proof of concept
  ☆15Updated 8 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• ahgamut / debug-cosmo-example
  example repo showing the debugging capabilities offered by Cosmopolitan Libc
  ☆13Updated 2 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆27Updated 8 months ago
• reeteshranjan / libgcov-embedded
  Port of libgcov portions to enable a way to generate GCDA files for embedded systems
  ☆32Updated 8 years ago
• yugr / sortcheckxx
  Tool for detecting violations of ordering axioms in STL comparators
  ☆16Updated last month
• Dovgalyuk / qemu
  QEMU fork
  ☆10Updated 3 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated 11 months ago