All Projects → vtil-project → Vtil Core

vtil-project / Vtil Core

Licence: bsd-3-clause
Virtual-machine Translation Intermediate Language

Projects that are alternatives of or similar to Vtil Core

Jhc Components
JHC Haskell compiler split into reusable components
Stars: ✭ 55 (-92.55%)
Mutual labels:  compiler, optimizer
Csharp.lua
The C# to Lua compiler
Stars: ✭ 712 (-3.52%)
Mutual labels:  compiler
Cakeml
CakeML: A Verified Implementation of ML
Stars: ✭ 651 (-11.79%)
Mutual labels:  compiler
Tiramisu
A polyhedral compiler for expressing fast and portable data parallel algorithms
Stars: ✭ 685 (-7.18%)
Mutual labels:  compiler
Amacc
Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
Stars: ✭ 661 (-10.43%)
Mutual labels:  compiler
Jscl
A Lisp-to-Javascript compiler bootstrapped from Common Lisp
Stars: ✭ 688 (-6.78%)
Mutual labels:  compiler
Llvmswift
A Swift wrapper for the LLVM C API (version 9.0.1)
Stars: ✭ 641 (-13.14%)
Mutual labels:  compiler
Bic
A C interpreter and API explorer.
Stars: ✭ 719 (-2.57%)
Mutual labels:  compiler
Inc
an incremental approach to compiler construction
Stars: ✭ 702 (-4.88%)
Mutual labels:  compiler
Mlton
The MLton repository
Stars: ✭ 683 (-7.45%)
Mutual labels:  compiler
Esper
Esper Complex Event Processing, Streaming SQL and Event Series Analysis
Stars: ✭ 680 (-7.86%)
Mutual labels:  compiler
Rustc codegen cranelift
Cranelift based backend for rustc
Stars: ✭ 675 (-8.54%)
Mutual labels:  compiler
Leanify
lightweight lossless file minifier/optimizer
Stars: ✭ 694 (-5.96%)
Mutual labels:  optimizer
Gocaml
🐫 Practical statically typed functional programming language implementation with Go and LLVM
Stars: ✭ 653 (-11.52%)
Mutual labels:  compiler
Open C Book
开源书籍:《C语言编程透视》,配套视频课程《360° 剖析 Linux ELF》已上线,视频讲解更为系统和深入,欢迎订阅:https://www.cctalk.com/m/group/88089283
Stars: ✭ 715 (-3.12%)
Mutual labels:  compiler
Js of ocaml
Compiler from OCaml to Javascript.
Stars: ✭ 643 (-12.87%)
Mutual labels:  compiler
Tiny Compiler
A tiny evaluator and compiler of arithmetic expressions.
Stars: ✭ 680 (-7.86%)
Mutual labels:  compiler
Constexpr 8cc
Compile-time C Compiler implemented as C++14 constant expressions
Stars: ✭ 687 (-6.91%)
Mutual labels:  compiler
Tl
The compiler for Teal, a typed dialect of Lua
Stars: ✭ 716 (-2.98%)
Mutual labels:  compiler
Ring
Innovative and practical general-purpose multi-paradigm language
Stars: ✭ 716 (-2.98%)
Mutual labels:  compiler

VTIL

travis-ci appveyor-ci license discord

Virtual-machine Translation Intermediate Language

Introduction

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.

Until the initial release, you can keep up to date with the VTIL project by checking my personal twitter account or the VTIL website vtil.org.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].