Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions

A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

hobby operating system

Rust library for lifting raw binary data to LLVM IR

GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)

Symbolic Execution based on lifting amd64 to z3

A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations

revng: the core repository of the rev.ng project

Automatic verification of LLVM optimizations

A project on the Unicorn emulator to emulate the code of Pe files in windows

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

x86-64 code/pe virtualizer

Fast and lightweight x86/x86-64 disassembler and code generation library

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

Simple VM based x86 PE (portable exectuable) protector.

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

RetDec is a retargetable machine-code decompiler based on LLVM.

x64 binary obfuscator

Free and Open Source Reverse Engineering Platform powered by radare2