jbangert / nailLinks
A practical interface generator for data formats.
☆127Updated 4 years ago
Alternatives and similar repositories for nail
Users that are interested in nail are comparing it to the libraries listed below
Sorting:
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆286Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆434Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- A static checker for identifying unstable code.☆360Updated 10 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- ♥ Janusz Brzozowski☆164Updated last year
- Picon☆39Updated 8 years ago
- Load-time selective binary rewriting☆158Updated 2 years ago
- Network Semantics☆88Updated 6 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Updated 9 years ago
- Bootstrap compiler☆44Updated 6 years ago
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆225Updated last week
- An-source C library developed and used at AppNexus.☆109Updated 5 years ago
- No sane compiler would optimize atomics: the presentation☆106Updated 8 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 7 years ago
- A binary format analysis tool☆240Updated 4 years ago
- multi-way atomic compare-and-swap with x64/TSX☆86Updated 8 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year
- portable libc optimized for code size and readability☆82Updated 8 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆67Updated 12 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- An obsolete project☆83Updated 6 years ago