sergeybratus / HammerPrimer
Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
☆79Updated 7 years ago
Related projects: ⓘ
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆430Updated last year
- Scripting with Least Privilege☆106Updated 7 years ago
- ☆93Updated this week
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 3 years ago
- Checking that functions are constant time with Valgrind☆173Updated 7 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- ☆51Updated this week
- Network Semantics☆85Updated 5 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- Crema: A Sub-Turing Programming Language☆64Updated 9 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 dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆100Updated last week
- Return Oriented Programme Evolution with ROPER☆169Updated 5 years ago
- a grammar-based data generator☆57Updated 5 years ago
- Microcode parser for AMD, Intel, and VIA processors☆131Updated 8 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 6 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆65Updated 8 years ago
- ☆158Updated this week
- A practical interface generator for data formats.☆127Updated 4 years ago
- ☆87Updated 2 years ago
- Implementations of program analysis tools with a focus on machine code☆207Updated 9 years ago
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆213Updated last week
- ☆305Updated this week
- ☆193Updated this week
- An OCaml/Mirage-friendly implementation of the 9P protocol☆63Updated 2 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆280Updated 3 years ago
- The SAW scripting language.☆437Updated this week
- ☆33Updated 9 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆194Updated 4 years ago