Alternatives and similar repositories for reftrack-plugin

Users that are interested in reftrack-plugin are comparing it to the libraries listed below

• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆15Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated last year
• mnurzia / bbre
  Compact, non-backtracking, unicode aware regular expressions in C89
  ☆10Updated 9 months ago
• kevinboone / syslogd-lite
  A minimal, resource-friendly syslog daemon for embedded Linux
  ☆26Updated 3 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆18Updated 2 months ago
• wtarreau / nolibc
  nolibc - libc-less wrapper to make tiny static executables for simple programs /// Note that most recent updates are now in the Linux ker…
  ☆59Updated 3 weeks ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆36Updated last year
• wt / coreboot
  My coreboot work
  ☆23Updated 15 years ago
• moon-chilled / fancy-memset
  small, fast memset based on microsoft's design
  ☆13Updated 3 years ago
• yugr / libdebugme
  Automatically spawn gdb on error.
  ☆69Updated 3 years ago
• NobodyXu / aspawn
  Asynchronous and more versatile replacement of posix_spawn
  ☆23Updated 4 years ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆96Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• securesystemslab / LLVM-MCA-Daemon
  ☆22Updated 10 months ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆40Updated last year
• xyproto / metatar
  Manipulate tar file metadata, list tar files or convert tar to cpio. For some projects, this can replace fakeroot and cpio, when creating…
  ☆32Updated 7 months ago
• kevinAlbs / SmartPointer
  A proof-of-concept smart pointer library in C
  ☆22Updated 7 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆55Updated 5 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• libcxxrt / libcxxrt
  C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)
  ☆50Updated 11 months ago
• linkdd / larena
  Yet another simple header only arena allocator for C11
  ☆42Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆67Updated 4 years ago
• moehriegitt / vastringify
  Type-safe Printf in C
  ☆71Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated 3 months ago
• jart / jtckdint
  C23 Checked Arithmetic
  ☆156Updated 6 months ago
• ligurio / luzer
  A coverage-guided, native Lua fuzzing engine.
  ☆57Updated 2 weeks ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated 2 years ago
• tavianator / parconf
  Parallel ./configure proof of concept
  ☆41Updated 9 months ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year