Obfuscator based on LLVM 14.0.6

A tool for analyzing x86-64 binaries.

Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)

Official repo of the EVM LLVM project

Scalable Validator for Binary Lifters

A tool to eliminate timing-based side channels

Binary Translator to LLVM IR

A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.

LLVM based devirtualization PoC’s.