r2ai

R2AI - Augmented reversing with LLM for radare2 ╭─────────────────────────────────╮ │ , . . , │ ╭──╮ │ : \ \ |: \ : | │ │ │ │ | |/ || , || : | │ │ O O | : \ \ . || : || | │ │ │╷ │ | |\ :||| || | │ │ ││ │ || : |||| │ │ ─╯│ ╰─────────────────────────────────╯ ╰───╯ Components This repository...

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

Triton

Triton es una librería de análisis binario dinámico. Proporciona componentes internos que permiten construir herramientas de análisis de programas, automatizar la ingeniería inversa, realizar verificación de software o simplemente emular código. Ejecución simbólica dinámica Análisis dinámico de...

angrgdb

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

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

aether

Aether v6.0 — Marco de análisis de seguridad de contratos inteligentes Versión 6.0 | Novedades en v6.0 | Registro de cambios Aether es un marco basado en Python para analizar contratos inteligentes Solidity, generar hallazgos de vulnerabilidades, producir pruebas de concepto PoC basadas en Foundr...

Argus-SAF

Argus-SAF: Marco de análisis estático Argus Este es el repositorio oficial de Argus-SAF. Para probar y jugar con Argus-SAF, puedes bifurcar nuestro proyecto Argus-SAF-playground, que tiene la configuración básica para un proyecto mejorado con Argus-SAF con códigos de demostración de cómo realizar...

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

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

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

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

VMDragonSlayer

VMDragonSlayer El proyecto será público a mediados de octubre Refactorización en progreso Marco avanzado de detección y análisis de máquinas virtuales VMDragonSlayer es un marco integral para analizar binarios protegidos por protectores basados en Máquinas Virtuales VM como VMProtect 2.x/3.x,...

netgear_r6700v3_circled

Explotando un desbordamiento de búfer en la pila en el NETGEAR R6700v3 CVE-2022-27646 con la ayuda de la Ejecución Simbólica Introducción Este repositorio tiene como objetivo demostrar algunas funcionalidades de Morion, una herramienta de prueba de concepto PoC para experimentar con ejecución...

Ponce

Ponce Ponce pronunciado 'poN θe pon-they es un plugin de IDA Pro que brinda a los usuarios la capacidad de realizar análisis de contaminación taint analysis y ejecución simbólica sobre binarios de forma fácil e intuitiva. Con Ponce estás a un clic de obtener todo el poder de la ejecución simbólic...

Angora

Angora Angora es un fuzzer guiado por cobertura basado en mutaciones. El objetivo principal de Angora es aumentar la cobertura de ramas resolviendo restricciones de rutas sin ejecución simbólica. Trabajo Publicado Arxiv: Angora: Efficient Fuzzing by Principled Search, S&P 2018. Compilar Angora...

ABD

Desofuscación Binaria Avanzada Este repositorio contiene los materiales del curso de Desofuscación Binaria Avanzada en el Campamento Global de Ciberseguridad GCC Tokio y el Taller Nacional del Campamento de Seguridad en 2020. Resumen del Curso La ingeniería inversa no es fácil, especialmente si u...

wslink-vm-analyzer

WslinkVMAnalyzer WslinkVMAnalyzer es una herramienta desarrollada principalmente para facilitar el análisis de Wslink, que es un cargador único que actúa como servidor y ejecuta en memoria los módulos recibidos. Esta herramienta utiliza Miasm, un framework de código abierto que nos proporciona un...

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