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.
  ☆104Updated 6 months 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
  ☆80Updated 7 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆66Updated 11 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆156Updated 2 years ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆287Updated 4 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 7 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 6 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 9 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆224Updated 2 weeks ago
• gamozolabs / falkhash
  Exotic Shitty Hash Maybe
  ☆45Updated 9 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 5 years ago
• appnexus / acf
  An-source C library developed and used at AppNexus.
  ☆109Updated 5 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆134Updated 9 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• prash-wghats / DTrace-win32
  DTrace for Windows OS
  ☆49Updated 6 years ago
• elfmaster / kdress
  Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore
  ☆128Updated 5 months ago
• binspector / binspector
  A binary format analysis tool
  ☆237Updated 3 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 10 months ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 5 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆127Updated 4 years ago
• teclo / flow-disruptor
  A deterministic per-flow network condition/fault simulator
  ☆43Updated 9 years ago