angr

angr angr is a platform-agnostic binary analysis framework. It is brought to you by the Computer Security Lab at UC Santa Barbara, SEFCOM at Arizona State University, their associated CTF team, Shellphish, the open source community, and @rhelmot. Project Links Homepage: https://angr.io Project...

Triton

Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Dynamic symbolic execution Dynamic taint analysis AST representation of the x86 ,...

exrop

Exrop Generador automático de cadenas ROP para binarios x86-64, impulsado por la ejecución simbólica de Triton. Características Establecer registros a constantes u otros registros rdi=0x41414141, rdi=rax Escribir en memoria direcciones/valores basados en constantes y registros Escribir...

radare2

Radare2: Libre Reversing Framework for Unix Geeks Current git master branch is 6.2.2, next release will be 6.2.4. Description r2 is a complete rewrite of radare. It provides a set of libraries, tools and plugins to ease reverse engineering tasks. Distributed under LGPLv3, despite each plugin can...

angrgdb

angrgdb Usa angr dentro de GDB. Crea un estado de angr a partir del estado actual del depurador. Instalación root@kitploit: pip install angrgdb echo "python import angrgdb.commands" /.gdbinit Uso angrgdb implementa la API de angrdbg en GDB. Puedes usarlo en scripts como este: root@kitploit: from...

Ponce

Ponce Ponce pronounced 'poN θe pon-they is an IDA Pro plugin that provides users the ability to perform taint analysis and symbolic execution over binaries in an easy and intuitive fashion. With Ponce you are one click away from getting all the power from cutting edge symbolic execution. Entirely...

ioctlance

IOCTLance Description Presented at CODE BLUE 2023, this project titled Enhanced Vulnerability Hunting in WDM Drivers with Symbolic Execution and Taint Analysis introduces IOCTLance, a tool that enhances its capacity to detect various vulnerability types in Windows Driver Model WDM drivers. In a...

ioctlance

IOCTLance Descripción Presentado en CODE BLUE 2023, este proyecto titulado Enhanced Vulnerability Hunting in WDM Drivers with Symbolic Execution and Taint Analysis presenta IOCTLance, una herramienta que mejora su capacidad para detectar varios tipos de vulnerabilidades en controladores del Model...

maat

Acerca de Maat es un framework de código abierto para Ejecución Simbólica Dinámica y Análisis Binario. Proporciona diversas funcionalidades como ejecución simbólica, análisis de taint, resolución de restricciones, carga de binarios, simulación de entorno, y aprovecha la librería sleigh de Ghidra...

maat

About Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and leverages Ghidra's sleigh library for assembly lifting:...

Argus-SAF

Argus-SAF: Argus static analysis framework This is official reporitory for the Argus-SAF. For test and play with Argus-SAF, you can fork from our Argus-SAF-playground project, which have the basic setup for a Argus-SAF enhanced project with demo codes of how to perform different kind of analysis...

ABD

Advanced Binary Deobfuscation This repository contains the course materials of Advanced Binary Deobfuscation at the Global Cybersecurity Camp GCC Tokyo and the Security Camp National Workshop in 2020. Course Abstract Reverse engineering is not easy, especially if a binary code is obfuscated. Once...

aether

Aether v6.0 — Smart Contract Security Analysis Framework Version 6.0 | What's New in v6.0 | Changelog Aether is a Python-based framework for analyzing Solidity smart contracts, generating vulnerability findings, producing Foundry-based proof-of-concept PoC tests, and validating exploits on mainne...

ManticoreUI

Manticore UI .. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore El proyecto Manticore User Interface MUI proporciona un complemento de interfaz gráfica de usuario para diferentes desensambladores que...

VMDragonSlayer

VMDragonSlayer プロジェクトは10月中旬に公開予定（リファクタリング中） 高度な仮想マシン検出・解析フレームワーク VMDragonSlayerは、VMProtect 2.x/3.x、Themida、カスタムマルウェアVMなどの仮想マシン（VM）ベースのプロテクタで保護されたバイナリを解析するための包括的なフレームワークです。このフレームワークは、動的タイントラッキング（DTT）、シンボリック実行（SE）、パターン分類、機械学習を含む複数の解析エンジンを組み合わせ、リバースエンジニアリングプロセスを自動化します。 目標 :...

netgear_r6700v3_circled

シンボリック実行を利用したNETGEAR R6700v3 のスタックバッファオーバーフローの悪用 CVE-2022-27646 はじめに このリポジトリは、Morion（実世界の ARMv7 バイナリでシンボリック実行 を実験するための概念実証 PoC ツール）の機能の一部を示すことを目的としています。具体的な例として、Morion の能力の一部を示します。その例とは、CVE-2022-27646 用の動作するエクスプロイトを作成するプロセスにおいて、Morion がどのように役立つかというものです。CVE-2022-27646 は、NETGEAR R6700v3...

wslink-vm-analyzer

WslinkVMAnalyzer WslinkVMAnalyzer is a tool primarily developed to facilitate analysis of Wslink, which is a unique loader running as a server and executing received modules in-memory. This tool uses Miasm, an open source framework that provides us with a symbolic execution engine. The tool and...

Angora

Angora Angora is a mutation-based coverage guided fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution. Published Work Arxiv: Angora: Efficient Fuzzing by Principled Search, S&P 2018. Building Angora Build Requirements Linux-amd64...

strilight

Strilight v0.2.0 High-Performance Algebraic Loop Lifting & Exact Rational Recurrence Engine for Python and C %20/%20O\log%20N-orange.svg Overview: Why Iterate When You Can Solve? Traditional compilers, runtimes, and JIT engines such as GCC, Clang, PyPy, or Numba treat loops as repetitive...

manticore

⚠️ Project is archived ⚠️ This project is no longer internally developed and maintained. Manticore Manticore is a symbolic execution tool for the analysis of smart contracts and binaries. Features Program Exploration : Manticore can execute a program with symbolic inputs and explore all the...