Virtual-machine Translation Intermediate Language

[zdox]

 

https://github.com/vtil-project/VTIL-Core

1) What is VTIL?

VTIL Project, standing for Virtual-machine Translation Intermediate Language, is a set of tools designed around an optimizing compiler to be used for binary de-obfuscation and de-virtualization.

The main difference between VTIL and other optimizing compilers such as LLVM is that it has an extremely versatile IL that makes it trivial to lift from any architecture including stack machines. Since it is built for translation, VTIL does not abstract away the native ISA and keeps the concept of the stack, physical registers, and the non-SSA architecture of a general-purpose CPU as is. Native instructions can be emitted in the middle of the IL stream and the physical registers can be addressed from VTIL instructions freely.

VTIL also makes it trivial to emit code back into the native format at any virtual address requested without being constrained to a specific file format.

2) What is this repository?

This repository contains the core components of the VTIL Project used across the toolchain.

It is currently incomplete as the initial release is not done yet, and documentation and FAQ will be within this repository and the organization website once they're done.

Edited June 26, 2020 by zdox

[deepzero]

Great project, but so far the claims about defeating the (comparatively simple VMP2 vm) are rather theoretical, as there is no lifter, they manually ported a few handlers to VTIL, deobfuscated it and assumed that they can pattern match it. Nothing new there. But I think we can expect more in a few months, after their x64 lifter is done and they cleaned up some initial quirks. 👍