Alternatives and similar repositories for nail:

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

• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆288Updated 4 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆433Updated 2 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆80Updated 7 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• teclo / flow-disruptor
  A deterministic per-flow network condition/fault simulator
  ☆43Updated 9 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• ANSSI-FR / picon
  Picon
  ☆38Updated 7 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆66Updated 11 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 10 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆220Updated last week
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆153Updated 2 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 9 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆155Updated 2 years ago
• gamozolabs / falkhash
  Exotic Shitty Hash Maybe
  ☆45Updated 9 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 6 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆112Updated this week
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆59Updated 7 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆60Updated last week
• 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
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• crange / crange
  Crange is a tool to index and cross-reference C/C++ source code
  ☆74Updated 8 years ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆302Updated 6 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆193Updated 8 months ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆161Updated 11 months ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• mulle-concurrent / mulle-concurrent
  📶 A lock- and wait-free hashtable (and an array too)
  ☆109Updated 3 weeks ago