Alternatives and similar repositories for turing-machine:

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

• google / hammer-kit
  ☆78Updated 3 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆38Updated last year
• chip-red-pill / udbgInstr
  ☆112Updated last year
• comsec-group / inception
  Training in Transient Execution and PhantomCALL, from Inception (SEC'23) Artifacts.
  ☆32Updated 11 months ago
• imbushuo / hyperv-lk
  Little Kernel for Hyper-V arm64 Guest
  ☆31Updated 3 years ago
• moreati / pickle-fuzz
  Attempts at fuzzing Python unpicklers
  ☆37Updated 10 months ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 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"
  ☆40Updated 4 years ago
• uds-se / AFLplusplus
  AFL++ with support for FormatFuzzer
  ☆12Updated 2 years ago
• zhuowei / GhidraLog4Shell
  ☆29Updated 3 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 10 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆158Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆72Updated 2 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 2 weeks ago
• lcq2 / riscv-ida
  RISC-V ISA processor module for IDAPro 7.x
  ☆30Updated 4 years ago
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆59Updated 8 months ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated last year
• GJDuck / e9syscall
  A system call interception tool
  ☆54Updated last month
• smx-smx / xzre
  XZ backdoor reverse engineering
  ☆91Updated 5 months ago
• HackOvert / awesome-bugs
  A collection of software bug types and articles showcasing the hunt for and exploitation of them.
  ☆20Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• jevinskie / pypcode-emu
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆30Updated 2 years ago
• linuxthor / iamdynamic
  Linux assembly language minimal 'dynamic ELF' example plus experiments
  ☆24Updated 4 years ago
• comsec-group / retbleed
  Arbitrary Speculative Code Execution with Return Instructions
  ☆157Updated last year
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• quarkslab / pixiefail
  PoC for PixieFail vulnerabilities
  ☆21Updated last year