Alternatives and similar repositories for turing-machine

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

• moreati / pickle-fuzz
  Attempts at fuzzing Python unpicklers
  ☆41Updated last year
• spookjs / spookjs-poc
  Proof-of-concept for Spook.js
  ☆70Updated 4 years ago
• chip-red-pill / udbgInstr
  ☆118Updated 2 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆44Updated 5 years ago
• isec-tugraz / AEPIC
  ☆113Updated 2 years ago
• Ariana1729 / RSA-is-alive
  Implementation of https://eprint.iacr.org/2021/232
  ☆93Updated 4 years ago
• astarasikov / qemu
  Official QEMU mirror
  ☆30Updated 5 months ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆74Updated last week
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆166Updated 2 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆150Updated 5 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 11 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆248Updated last week
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated last month
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆337Updated last year
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 3 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆77Updated 3 years ago
• monkbai / DNN-decompiler
  BTD - Bin To DNN: A DNN Executables Decompiler
  ☆200Updated 3 weeks ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆64Updated this week
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆171Updated 4 years ago
• pipcet / pearl
  GNU/Linux on Apple M1 hardware
  ☆35Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆22Updated 2 years ago
• Battelle / patchwerk
  Binary patching framework for Linux kernels
  ☆48Updated 7 years ago
• hoshinolina / agx-exploit
  CVE-2022-32947 walkthough and demo
  ☆186Updated 2 years ago
• google / hammer-kit
  ☆78Updated 4 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆30Updated 5 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆321Updated 4 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆58Updated 2 years ago
• gereeter / hsdecomp
  A decompiler for GHC-compiled Haskell
  ☆108Updated 7 years ago