Alternatives and similar repositories for turing-machine

Users that are interested in turing-machine are comparing it to the libraries listed below

• chip-red-pill / udbgInstr
  ☆115Updated 2 years ago
• moreati / pickle-fuzz
  Attempts at fuzzing Python unpicklers
  ☆40Updated last year
• astarasikov / qemu
  Official QEMU mirror
  ☆30Updated 3 months ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆18Updated 5 years ago
• spookjs / spookjs-poc
  Proof-of-concept for Spook.js
  ☆70Updated 4 years ago
• Ariana1729 / RSA-is-alive
  Implementation of https://eprint.iacr.org/2021/232
  ☆94Updated 4 years ago
• taviso / rarvmtools
  Minimal RarVM Toolchain
  ☆236Updated 10 years ago
• smx-smx / xzre
  XZ backdoor reverse engineering
  ☆98Updated last year
• google / hammer-kit
  ☆78Updated 4 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• Rogdham / gif-md5-hashquine
  GIF displaying its own MD5 (hashquine)
  ☆78Updated 5 years ago
• mrthefakeperson / Excel-Virtual-Machine
  C Compiler which targets Excel (MS Office)
  ☆288Updated 5 years ago
• isec-tugraz / AEPIC
  ☆112Updated 2 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆76Updated 3 years ago
• allesctf / writeups
  ☆20Updated 3 years ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆376Updated 7 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 11 years ago
• JonathonReinhart / nosecmem
  Demonstrate ability to read memfd_secret() data from the kernel
  ☆58Updated last year
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆21Updated 2 years ago
• UT-Security / gpu-zip
  ☆111Updated 2 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆164Updated 2 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆30Updated 5 years ago
• trailofbits / magnifier
  ☆59Updated 2 years ago
• revng / crispr
  The CRISPR static binary patcher
  ☆37Updated 5 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆45Updated 5 years ago
• oranav / ctf-writeups
  ☆24Updated 5 years ago
• Battelle / patchwerk
  Binary patching framework for Linux kernels
  ☆47Updated 6 years ago
• MozillaSecurity / nss-fuzzing-corpus
  Corpora used to seed NSS' fuzzing targets
  ☆10Updated last week
• jprx / DEFCON30-PACMAN
  Materials from the DEF CON 30 talk on PACMAN
  ☆34Updated 3 years ago