sergeybratus / HammerPrimer

Related projects ⓘ

Alternatives and complementary repositories for HammerPrimer

• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆431Updated last year
• rems-project / netsem
  Network Semantics
  ☆86Updated 5 years ago
• oblivia-simplex / roper
  Return Oriented Programme Evolution with ROPER
  ☆169Updated 5 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆284Updated 4 years ago
• REMath / implementations
  Implementations of program analysis tools with a focus on machine code
  ☆207Updated 10 years ago
• CIFASIS / QuickFuzz
  An experimental grammar fuzzer in Haskell using QuickCheck
  ☆199Updated 4 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆101Updated 2 months ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆127Updated 4 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆442Updated this week
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆218Updated this week
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• letoram / senseye
  Dynamic Visual Debugging / Reverse Engineering Toolsuite
  ☆248Updated 5 years ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆304Updated 3 weeks ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆46Updated 7 years ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆119Updated 11 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆100Updated this week
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆112Updated this week
• kframework / c-semantics
  Semantics of C in K
  ☆306Updated 2 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago