Alternatives and similar repositories for VTIL-SymEx:

Users that are interested in VTIL-SymEx are comparing it to the libraries listed below

• vtil-project / VTIL-Common
  A common set of helpers used across VTIL toolchain. Moved into -->
  ☆20Updated 4 years ago
• ajkhoury / Windbg2Struct
  Takes a Windbg dumped structure (using the 'dt' command) and formats it into a C structure
  ☆35Updated 7 months ago
• nlykkei / llvm-ir-obfuscation
  Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.
  ☆71Updated 5 years ago
• LLVMParty / UnsupportedInstructionsLiftingToLLVM
  Using Zydis and LLVM to lift unsupported instructions to LLVM-IR
  ☆28Updated 3 years ago
• yellowbyte / zero-footprint-opaque-predicates
  obfuscation that aims to not stand out
  ☆23Updated 2 years ago
• usualsuspect / ida_stuff
  ☆27Updated 6 years ago
• redplait / armpatched
  clone of armadillo patched for windows
  ☆46Updated 3 months ago
• calware / HV-Playground
  A simple and heavily documented series of test hypervisors built for 64-bit Windows 10 systems running under Intel's VT-x
  ☆30Updated 4 years ago
• samrussell / vmprotect_binja_plugin
  Binary Ninja plugin for automating VMProtect analysis
  ☆58Updated 2 years ago
• vtil-project / VTIL-Utils
  VTIL command line utility
  ☆27Updated 3 years ago
• fvrmatteo / oracle-synthesis-meets-equality-saturation
  ☆22Updated this week
• generic-trash / themdem
  ☆32Updated last year
• POPFD / HypervisorBase
  A library for intel VT-x hypervisor functionality supporting EPT shadowing.
  ☆48Updated 3 years ago
• Nitr0-G / Rework-part-of-z3-proving
  This is the PoC of a dynamic lifter and deobfuscator with collecting trace.
  ☆35Updated last year
• tandasat / ia32-doc
  IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible
  ☆16Updated 2 years ago
• MeeSong / Sunstrider
  Analyze PatchGuard
  ☆54Updated 6 years ago
• archercreat / vdk
  vdk is a set of utilities used to help with exploitation of a vulnerable driver.
  ☆39Updated 2 years ago
• vmcall / wow64pp
  A modern c++ implementation of windows heavens gate
  ☆8Updated 4 years ago
• pgarba / Saturn_Results
  This repo contains the tests and results that were done during the research of SATURN
  ☆38Updated 4 years ago
• fvrmatteo / DeobfuscatorTest
  ☆24Updated 8 years ago
• Nitr0-G / SVM-Hypervisor
  This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM
  ☆22Updated last year
• ajkhoury / Errata1337
  ☆67Updated 4 years ago
• pgarba / UniTaint
  PoC for a taint based attack on VMProtect
  ☆109Updated 5 years ago
• pgarba / UniPE
  UNIPE - A small framwork to execute PE files with UniCorn
  ☆45Updated 7 years ago
• ajkhoury / pdbfetch
  Fetch PDB symbols directly from Microsoft's symbol servers
  ☆42Updated 3 years ago
• thalium / idatag
  IDA plugin to explore and browse tags
  ☆53Updated 5 years ago
• ergrelet / triton-bn
  Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.
  ☆58Updated 7 months ago
• allthingsida / strikeout
  IDA strike-out: A Hex-Rays decompiler plugin to patch the Ctree
  ☆115Updated 5 months ago
• therealdreg / ida_vmware_windows_gdb
  Helper script for Windows kernel debugging with IDA Pro on VMware + GDB stub (including PDB symbols)
  ☆63Updated last year
• Anal-Repair / Vmp3_utils
  ☆36Updated 2 years ago