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
  ☆26Updated 11 months ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆53Updated 2 months ago
• Dovgalyuk / qemu
  QEMU fork
  ☆10Updated 4 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• ispras / crusher
  ☆39Updated last month
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆19Updated last year
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆53Updated 5 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• danmar / gcc-plugins
  GCC plugins
  ☆28Updated 13 years ago
• NeoProg2013 / terminal-server
  Terminal server for MCU
  ☆16Updated 3 years ago
• randomstuff / elfcat
  Dump sections or program entries from a ELF file
  ☆23Updated 9 years ago
• rouming / AVR-GDBServer
  Embedded GDB server implementation for 8-bit AVR MCU
  ☆21Updated 4 years ago
• dmitrii-eremin / jfes
  Json For Embedded Systems (JFES)
  ☆72Updated 5 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated 3 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆22Updated this week
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• bluepilot / scvs
  Secure Coding Validation Suite
  ☆16Updated 6 years ago
• matp / tiny-regex
  A small implementation of a regular expression matching engine, written in standard C11.
  ☆13Updated 8 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• rofl0r / debuglib
  wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.
  ☆21Updated 3 years ago
• sergev / qemu
  QEMU for PIC32
  ☆33Updated 4 months ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆38Updated 2 years ago
• Eremex / fxrtos-lite
  Community version of FX-RTOS kernel
  ☆29Updated last year
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated 2 years ago
• embeddedartistry / meson-buildsystem
  Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson
  ☆36Updated 4 months ago
• BrianStadnicki / self-modifying-assembly-examples
  Examples of self-modifying x86 linux assembly
  ☆11Updated 3 years ago
• gousiosg / AegeanC
  The Aegean C compiler
  ☆8Updated 8 years ago