smack

SMACK is both a modular software verification toolchain and a self-contained software verifier. It can be used to verify the assertions in its input programs. In its default mode, assertions are verified up to a given bound on loop iterations and recursion depth; it contains experimental support...

llvm-jutsu

llvm-jutsu: anti-LLM obfuscation This is a 32-bit integer The Problem It's 2025. You've spent weeks crafting the perfect license check. You've used every trick in the book: opaque predicates, control flow flattening, MBA expressions. You deploy. Within hours, some guy pastes your binary into Clau...

retdec

Warning The RetDec project is currently in a limited maintenance mode due to a lack of resources: Pull Requests are welcomed. They are reviewed with priority, if possible without delays. Issues are reacted on with delays up to one quarter. Issues are not actively solved unless they relate to a...

difuze

difuze: Fuzzer for Linux Kernel Drivers This repo contains all the sources including setup scripts, you need to get difuze up and running. Tested on Ubuntu = 14.04.5 LTS 0. Running difuze from Docker Refer the readme As explained in our paper, There are two main components of difuze: Interface...

xori

Xori - Custom disassembly framework Xori is an automation-ready disassembly and static analysis library that consumes shellcode or PE binaries and provides triage analysis data. Acknowledgements: Xori wouldn't exist without inspiration and ideas from the open source community. We are indebted to...

Mergen

Project Overview: Mergen is a tool engineered to convert Assembly code into LLVM Intermediate Representation IR. This tool is designed for: The deobfuscation or devirtualization of obfuscated binary code The enhancement of the reverse engineering process, making it more efficient and effective,...

memoro

Memoro Memoro is a highly detailed heap profiler. Memoro not only shows you where and when your program makes heap allocations, but will show you how your program actually used that memory. Memoro collects detailed information on accesses to the heap, including reads and writes to memory and when...

zyrox

Zyrox LLVM Obfuscator llvm compile and link-time plugin for obfuscating native code Why why not ¯\ツ/¯ One of my biggest projects, where I learned a lot about LLVM internals, binary formats, assembly and obfuscation techniques. I believe that learning through building is the best way to learn, thu...

xed

Intel® X86 Encoder Decoder Intel® XED Doxygen API manual and source build manual: https://intelxed.github.io Bugs: https://github.com/intelxed/xed/issues/new Abbreviated GITHUB building instructions: git clone https://github.com/intelxed/xed.git xed git clone https://github.com/intelxed/mbuild.gi...

OffensiveRust

OffensiveRust My experiments in weaponizing Rust for implant development and general offensive operations. Table of Contents OffensiveRust Why Rust? Examples in this repo Compiling the examples Compiling the examples in this repo Cross Compiling Optimizing executables for size Pitfalls I found...

eternal

Introduction This is the root repository for the Eternal Software Initiative. The ESI defines a minimal machine architecture based on a modification of the Subleq OISC that is so simple that its complete specification can be written down on a napkin. We then provide an LLVM compiler backend for...

dr_checker

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers This repo contains all the sources, including setup scripts. Now with an Amazing UI to view the warnings along with corresponding source files. Tested on Ubuntu = 14.04.5 LTS Announcements 16 Feb 2018 : DR.CHECKER has bee...

Dna

Dna Dna is a static binary analysis framework built on top of LLVM. Notably it's written almost entirely in C, including managed bindings for LLVM, Remill, and Souper. Functionality Dna implements an iterative control flow graph reconstruction inspired heavily by the SATURN paper. It iteratively...

keystone

Keystone Engine Keystone es un framework ensamblador ligero, multiplataforma y multiarquitectura. Ofrece algunas características incomparables: Multiarquitectura, con soporte para Arm, Arm64 AArch64/Armv8, Ethereum Virtual Machine, Hexagon, Mips, PowerPC, RISC-V, Sparc, SystemZ y X86 incluyendo...

retdec

警告 RetDec 项目目前由于资源不足处于有限维护模式 ： 欢迎提交 Pull Requests。它们会被优先审查，尽可能不延迟。 对问题的响应可能会有最多一个季度的延迟。除非与基本项目维护相关，否则不会积极解决问题。 基本项目维护仍在继续。 仅进行非常有限的开发。 RetDec /statusIcon RetDec 是一个基于 LLVM 的可重定向机器码反编译器。 反编译器不限于任何特定的目标架构、操作系统或可执行文件格式： 支持的文件格式：ELF、PE、Mach-O、COFF、AR（归档）、Intel HEX 和原始机器码。 支持的架构： 32位：Intel...

difuze

difuze：Linux 内核驱动模糊测试器 本仓库包含所有源码（包括设置脚本），你需要这些来让 difuze 正常运行。 测试环境 Ubuntu = 14.04.5 LTS 0. 通过 Docker 运行 difuze 参考 readme 如我们的论文所述，difuze 包含两个主要组件：接口恢复 和 模糊测试引擎 1. 接口恢复 接口恢复机制基于 LLVM 分析过程。接口恢复的每个步骤都编写为独立的过程。按照以下说明操作，让 接口恢复 正常运行。 1.1 设置 此步骤负责安装 LLVM 和 c2xml： 首先，确保已安装 libxml（c2xml 所需）： sudo apt-get...

cargo-fuzz

cargo fuzz ¡Un subcomando decargo para hacer fuzzing con libFuzzer! ¡Fácil de usar! Instalación $ cargo install cargo-fuzz Nota: libFuzzer necesita soporte de sanitizers de LLVM, por lo que esto solo funciona en x86-64 y Aarch64, y solo en sistemas operativos tipo Unix no Windows. También necesit...

memoro

Memoro Memoro es un perfilador de montón heap altamente detallado. Memoro no solo te muestra dónde y cuándo tu programa realiza asignaciones de montón, sino que también te mostrará cómo tu programa realmente utilizó esa memoria. Memoro recopila información detallada sobre los accesos al montón,...

avcleaner

avcleaner 用于绕过杀毒软件的 C/C++ 源码混淆器 博客文章 该实现相当复杂，软件开发中的这一领域很少以通俗易懂的方式记录。因此，有博客文章详细介绍了每一个设计选择，并讨论了使用 LLVM API 的独特之处。 https://blog.scrt.ch/2020/06/19/engineering-antivirus-evasion/ https://blog.scrt.ch/2020/07/15/engineering-antivirus-evasion-part-ii/ 构建 docker build . -t avcleaner docker run -v...

honggfuzz

Honggfuzz A security-oriented, feedback-driven, evolutionary fuzzer. Honggfuzz is a general-purpose fuzzer that uses code coverage software and hardware-based to find bugs. It is multi-process, multi-threaded, and supports persistent fuzzing for extreme speed. Key Features Fast : Multi-process an...