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.
  ☆42Updated 9 months ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated 10 months ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated this week
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆52Updated 4 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated 3 months ago
• mnurzia / re
  Single-header, non-backtracking regular expression engine written in C89
  ☆12Updated last year
• ligurio / luzer
  A coverage-guided, native Lua fuzzing engine.
  ☆40Updated this week
• eatonphil / bootloaders
  Bootloader exploration
  ☆19Updated 3 years ago
• marty1885 / landlock-unveil
  OpenBSD unveil(2) like function in Linux using Landlock
  ☆25Updated last week
• moyix / 2_ffast_2_furious
  A more realistic demo of a buffer overflow cause by -ffast-math
  ☆11Updated 2 years ago
• kevinAlbs / SmartPointer
  A proof-of-concept smart pointer library in C
  ☆22Updated 6 years ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆33Updated last week
• 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…
  ☆16Updated 7 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated last week
• mnurzia / bbre
  Compact, non-backtracking, unicode aware regular expressions in C89
  ☆10Updated last month
• libcxxrt / libcxxrt
  C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)
  ☆42Updated 3 months ago
• linkdd / larena
  Yet another simple header only arena allocator for C11
  ☆42Updated 10 months ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 2 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• Rucadi / cpp-match
  ☆42Updated 2 months ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 11 months ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆52Updated 4 years ago
• Keith-Cancel / k-hashv
  A vectorized single header hash function.
  ☆19Updated 6 months ago
• ColinIanKing / pagemon
  Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.
  ☆40Updated 3 months ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆35Updated 3 months ago
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆34Updated 3 years ago