Alternatives and similar repositories for nail

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

• 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
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆289Updated 5 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆68Updated 12 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆439Updated 2 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• gamozolabs / falkhash
  Exotic Shitty Hash Maybe
  ☆46Updated 9 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• coreperf / rejit
  fast SIMD-able JIT regular expression compiler
  ☆197Updated 10 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆92Updated 7 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆162Updated last year
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆57Updated last year
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• appnexus / acf
  An-source C library developed and used at AppNexus.
  ☆111Updated 5 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆70Updated 7 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆65Updated 7 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆180Updated last year
• frdwarf / dwarf-synthesis
  ☆29Updated 6 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆163Updated 3 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆72Updated 10 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆108Updated 9 years ago
• samsk / log-malloc2
  Memory allocation tracking library
  ☆62Updated 5 years ago