Alternatives and similar repositories for vmtaint:

Users that are interested in vmtaint are comparing it to the libraries listed below

• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆70Updated last year
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 3 years ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆33Updated last month
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• yrp604 / bdump
  ☆47Updated 2 years ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆26Updated 5 years ago
• softsec-unh / MBA-Solver
  ☆40Updated 4 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• fvrmatteo / oracle-synthesis-meets-equality-saturation
  ☆23Updated last month
• JaanusKaapPublic / BlogHyperV
  Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/
  ☆55Updated 4 years ago
• pagabuc / kallsyms-extractor
  Tool to extract the kallsyms (System.map) from a memory dump
  ☆26Updated last year
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆66Updated 4 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆35Updated last month
• 0vercl0k / symbolizer
  A fast execution trace symbolizer for Windows.
  ☆130Updated 11 months ago
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆35Updated 5 years ago
• synacktiv / vmx_intrinsics
  VMX intrinsics plugin for Hex-Rays decompiler
  ☆70Updated 5 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆35Updated 3 weeks ago
• 0vercl0k / pywinhv
  Python bindings for the Microsoft Hypervisor Platform APIs.
  ☆80Updated 5 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated 2 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• BehroozAbbassi / VmwpMonitor
  ☆40Updated 3 years ago
• zerotypic / wilhelm
  Alternative API for IDA / Hex-Rays
  ☆73Updated last year
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• kukrimate / grr
  AMD SVM hypervisor rootkit proof of concept
  ☆45Updated last year
• dcdelia / sniper
  Robust API monitoring system presented in the paper "Designing Robust API Monitoring Solutions" (IEEE TDSC)
  ☆24Updated 3 years ago
• yrp604 / bochscpu-build
  ☆16Updated 3 weeks ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• ergot86 / hyperv_stuff
  Hyper-V related resources
  ☆30Updated last year
• trailofbits / cfg-showcase
  Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation
  ☆49Updated 8 years ago