View Single Post
  #1  
Old 07-10-2020, 23:14
Jupiter's Avatar
Jupiter Jupiter is offline
Lo*eXeTools*rd
 
Join Date: Jan 2005
Location: Moscow, Russia
Posts: 180
Rept. Given: 24
Rept. Rcvd 56 Times in 33 Posts
Thanks Given: 5
Thanks Rcvd at 93 Times in 22 Posts
Jupiter Reputation: 56
Lightbulb VTIL - Virtual-machine Translation Intermediate Language

Virtual-machine Translation Intermediate Language

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.

VTIL for Binary Ninja
VTIL meets Binary Ninja and provides you with a solution to analyze VTIL code in a less painful manner.
Could be installed via Binary Ninjas plugin manager.


Sources and docs:
VTIL-Core
Python bindings for the VTIL API. (WIP)
VTIL-Docs/SUMMARY.md
VTIL-BinaryNinja
__________________
EnJoy!
Reply With Quote
The Following User Gave Reputation+1 to Jupiter For This Useful Post:
user1 (07-13-2020)
The Following 7 Users Say Thank You to Jupiter For This Useful Post:
blue_devil (03-24-2021), computerline (07-15-2020), dyn!o (07-11-2020), NoneForce (07-11-2020), user1 (07-13-2020), yoza (07-11-2020), zeffy (07-12-2020)