# JonathanSalwan/VMProtect-devirtualization

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

Repository: https://github.com/JonathanSalwan/VMProtect-devirtualization
Canonical: https://ross.abutalabs.com/products/vmprotect-devirtualization
Language: Roff
License Family: other
Topics: vmprotect, symbolic-execution, program-analysis, llvm-ir, deobfuscation
Last push: 2022-06-11T05:13:00+00:00

## Health v2 (maintenance only)
Score: 32/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 0, release rhythm 35, longevity 100
- inputs: {"age_days": 1661, "days_push": 1544, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1494, forks 208 (observed 2026-08-28T04:04:52.960162+00:00)

## What it is
An experimental research project demonstrating a dynamic approach to devirtualize pure functions protected by VMProtect 3.x using symbolic execution and LLVM. It reconstructs original binary code from obfuscated traces, working best on functions with a single basic block.

## Use cases
- devirtualize VMProtect-protected pure functions
- deobfuscate virtualized arithmetic operations in binaries
- recover original code from VMProtect obfuscated traces
- analyze VMProtect virtual machine instruction traces
- convert obfuscated binary code to LLVM IR
- study symbolic execution attacks against software protection

## When to choose
- you need to reverse-engineer VMProtect 3.x protected pure functions
- you want to deobfuscate virtualized arithmetic or bitwise operations
- you are researching dynamic devirtualization techniques with symbolic execution and LLVM
- the target function has one or few basic blocks

## When to avoid
- the target function has many basic blocks or complex control flow
- the protected code has side effects or is not a pure function
- you need a production-grade, supported deobfuscation tool
- you need a license-compliant dependency (the repo has no license)

## Facets
- artifact type: library
- maturity: experimental
- function: reverse-engineering, security, compiler, developer-tools
- domain: security, reverse-engineering, compilers, developer-tools
- platform: python, cpp
- tags: vmprotect, symbolic-execution, deobfuscation, llvm-ir, devirtualization, binary-analysis, program-analysis, linux

## Member repositories
- JonathanSalwan/VMProtect-devirtualization (main) score 32

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:52.960162+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T04:33:20.003889+00:00, confidence not recorded.
  - readme: https://github.com/JonathanSalwan/VMProtect-devirtualization (fetched 2026-08-28T04:04:52.960162+00:00, sha ba52bdda14b6)
- Data as of 2026-08-30T08:39:29.467469+00:00.