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...

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...

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...

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...

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...

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...

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,...

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...

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...

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...

remill

Remill Remill is a static binary translator that translates machine code instructions into LLVM bitcode. It translates AArch64 64-bit ARMv8, SPARC32 SPARCv8, SPARC64 SPARCv9, x86 and amd64 machine code including AVX and AVX512 into LLVM bitcode. AArch32 32-bit ARMv8 / ARMv7 support is underway...

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...

memoro

Memoro Memoroは非常に詳細なヒーププロファイラです。 Memoroは、プログラムがいつどこでヒープ割り当てを行ったかを示すだけでなく、プログラムがそのメモリを実際に どのように 使用したのかも表示します。 Memoroは、メモリへの読み取りや書き込み、それらがいつ発生したかなど、ヒープへのアクセスに関する詳細情報を収集し、プログラムがヒープメモリをどの程度効率的に使用しているかを把握する手助けをします。 Memoroには、このすべての情報をスコアとインジケータにまとめ、問題領域を特定するのに役立つビジュアライザアプリケーションが含まれています。...

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...

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 プロジェクトは現在、リソース不足のため 限定的なメンテナンスモード です： プルリクエストは歓迎します。可能であれば遅延なく優先的にレビューされます。 イシューは最大四半期の遅延で対応されます。基本的なプロジェクトメンテナンスに関係しない限り、イシューは積極的には解決されません。 基本的なプロジェクトメンテナンスは継続します。 非常に限られた開発のみが行われています。 RetDec /statusIcon RetDec は、LLVM をベースにしたリターゲッタブルなマシンコード逆コンパイラです。...

cargo-fuzz

cargo fuzz ¡Un subcomando decargo para hacer fuzzing con libFuzzer! ¡Fácil de usar! Instalación root@kitploit: $ 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...

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...

difuze

difuze: Linuxカーネルドライバ用ファザー このリポジトリには、difuze をセットアップして実行するために必要なすべてのソース（セットアップスクリプトを含む）が含まれています。 テスト済み環境 Ubuntu = 14.04.5 LTS 0. Dockerからdifuzeを実行する 詳細はreadmeを参照してください。 論文で説明されているように、difuze には2つの主要コンポーネントがあります:インターフェース回復 とファジングエンジン です。 1. インターフェース回復...

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/ ビルド...