VTIL - Virtual-machine Translation Intermediate Language

[Jupiter]

A static devirtualizer for VMProtect x64 3.x powered by VTIL

NoVmp is a project devirtualizing VMProtect x64 3.0 - 3.5 (latest) into optimized VTIL and optionally recompiling back to x64 using the Virtual-machine Translation Intermediate Language library. It is rather experimental and is mostly a PoC I wanted to release. Most things can be improved especially with the new NativeLifters repo, but it did not exist back in the time this was written.

Usage
NoVmp accepts unpacked binaries, so if your binary is packed you'll have to dump it first, additionally if you did dump it using a tool like Scylla, you'll have to provide the original image base using the -base parameter like so:

-base 0x14000000

By default NoVmp will parse every single jump into a VM, if you are only interested in a number of specific virtualized routines you can use the -vms parameter like so with relative virtual addresses:

-vms 0x729B81 0x72521

These addresses should be pointing at the VMEnter, as shown below:

push vm_block
call VMEnter

By default section discovery is automatic, but in case your calls are not being chained you should try adding the VMProtect section name into the section list using -sections as shown below:

-sections .xxx0 .yyy0

Note that the .<vmp>1 section is the merged VMProtect DLL which should not be inputted.

Additionally you can use any of the following switches:

-noopt: Disables optimization.
-opt:constant: Optimizes the VMProtect Ultra constant obfuscation out.
-experimental:recompile: Enables the experimental x64 compiler.


Known bugs
Known issues from VTIL-Core, mainly the lack of jump table support and propagation passes taking too long/not being great which are being worked on.
Binaries compiled with relocations stripped are not fully supported yet.
Experimental compiler is a borderline broken demo, issues related to it should not be submitted as it'll be reworked and will be in VTIL-Core.


Source
https://github.com/can1357/NoVmp, GPL-3.0


Author
Can Bölük