jbangert / nail
A practical interface generator for data formats.
☆128Updated 4 years ago
Alternatives and similar repositories for nail:
Users that are interested in nail are comparing it to the libraries listed below
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆288Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆102Updated 4 months ago
- Picon☆38Updated 7 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆433Updated 2 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆66Updated 11 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆80Updated 7 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Load-time selective binary rewriting☆155Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- A static checker for identifying unstable code.☆360Updated 9 years ago
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆221Updated this week
- Oink is a collaboration of C++ static analysis tools.☆153Updated 2 years ago
- Crange is a tool to index and cross-reference C/C++ source code☆74Updated 8 years ago
- opensnoop in pure C using eBPF☆97Updated last year
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 8 months ago
- DTrace for Windows OS☆48Updated 6 years ago
- A Genetic File, Syscall and Network Fuzzer.☆59Updated 7 years ago
- Semantic grep for the C language based on coccinelle☆118Updated 3 months ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 8 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- portable libc optimized for code size and readability☆81Updated 8 years ago
- ☆110Updated 11 years ago
- ☆53Updated 9 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 6 years ago
- A binary format analysis tool☆234Updated 3 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- A collection of compiler, emulator and microkernel tools.☆250Updated 5 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆98Updated last year