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 7 months ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 9 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆225Updated 3 weeks ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆360Updated 10 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆286Updated 4 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆55Updated 11 months ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆158Updated 2 years ago
• binspector / binspector
  A binary format analysis tool
  ☆240Updated 4 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 8 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• smowton / llpe
  ☆51Updated last year
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 10 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 6 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆60Updated 2 months ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆120Updated 4 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 7 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆67Updated 11 years ago