Alternatives and similar repositories for reftrack-plugin

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

• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 4 years ago
• mnurzia / bbre
  Compact, non-backtracking, unicode aware regular expressions in C89
  ☆10Updated 5 months ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆35Updated 4 months ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆54Updated 8 months ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆36Updated 7 months ago
• 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…
  ☆18Updated last year
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years 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…
  ☆50Updated 3 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated last week
• tomhea / c2fj
  Compiling C to FlipJump
  ☆92Updated 8 months ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 6 months ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆32Updated 9 months ago
• moehriegitt / vastringify
  Type-safe Printf in C
  ☆72Updated 8 months ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• jart / jtckdint
  C23 Checked Arithmetic
  ☆141Updated 2 months ago
• moon-chilled / fancy-memset
  small, fast memset based on microsoft's design
  ☆12Updated 3 years ago
• redstar / llvm-m88k
  LLVM backend for m88k architecture
  ☆50Updated last month
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated 3 months ago
• 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 3 months ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆56Updated last year
• chagui / ninjavis
  Generates visualization from Ninja build logs.
  ☆51Updated last month
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated 5 months ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated 2 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• yugr / libdebugme
  Automatically spawn gdb on error.
  ☆66Updated 3 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 11 months ago