sergeybratus / HammerPrimerLinks
Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
☆82Updated 8 years ago
Alternatives and similar repositories for HammerPrimer
Users that are interested in HammerPrimer 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.☆442Updated 3 years ago
- Network Semantics☆91Updated 7 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- The Pascal-F Verifier☆51Updated 8 years ago
- A practical interface generator for data formats.☆128Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆324Updated 9 years ago
- Return Oriented Programme Evolution with ROPER☆171Updated 6 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 5 years ago
- The Software Analysis Workbench☆488Updated this week
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆288Updated 5 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆197Updated 5 years ago
- Noether programming language☆130Updated 8 years ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆83Updated 2 years ago
- APL compiler written in Standard ML☆36Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Updated 9 years ago
- ☆89Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Checking that functions are constant time with Valgrind☆196Updated 8 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 5 months ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- ☆34Updated last week
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆278Updated 3 weeks ago
- Verified implementation of TLS 1.3 in F*☆179Updated 11 months ago
- Dynamic Visual Debugging / Reverse Engineering Toolsuite☆251Updated 6 years ago
- Studio is an interactive software diagnostics environment☆121Updated 5 years ago
- Test-driven system administration with a little extra logic.☆389Updated 7 years ago