toy-wasm-symbexp

toy-wasm-symbexp Questo è un interprete simbolico WASM giocattolo. Illustra i seguenti articoli: Parte 1 - Introduzione Parte 2 - Scrivere un interprete concreto - sfoglia il codice in questa fase Parte 3 - Scrivere un interprete simbolico - sfoglia il codice in questa fase Parte 4 - Scrivere un...

Triton

Triton è una libreria di analisi binaria dinamica. Fornisce componenti interni che ti permettono di costruire i tuoi strumenti di analisi dei programmi, automatizzare il reverse engineering, eseguire la verifica del software o semplicemente emulare codice. Esecuzione simbolica dinamica Analisi...

exrop

Exrop Generatore automatico di catene ROP per binari x86-64, basato sull'esecuzione simbolica di Triton. Caratteristiche Imposta i registri a costanti o ad altri registri rdi=0x41414141, rdi=rax Scrive in memoria indirizzi/valori costanti o basati su registri Scrive stringhe/byte in memoria...

maat

Informazioni Maat è un framework open-source per l'esecuzione simbolica dinamica e l'analisi binaria. Fornisce varie funzionalità come esecuzione simbolica, analisi delle macchie taint analysis, risoluzione di vincoli, caricamento binario, simulazione dell'ambiente e sfrutta la libreria sleigh di...

VMDragonSlayer

VMDragonSlayer Das Projekt wird Mitte Oktober veröffentlicht. Refactoring läuft. Fortschrittliches Framework zur Erkennung und Analyse von Virtuellen Maschinen VMDragonSlayer ist ein umfassendes Framework zur Analyse von Binärdateien, die durch VM-basierte Schutzhüllen wie VMProtect 2.x/3.x,...

ioctlance

IOCTLance Descrizione Presentato al CODE BLUE 2023, questo progetto intitolato Enhanced Vulnerability Hunting in WDM Drivers with Symbolic Execution and Taint Analysis introduce IOCTLance, uno strumento che migliora la capacità di rilevare vari tipi di vulnerabilità nei driver Windows Driver Mode...

Argus-SAF

Argus-SAF: Argus-Framework für statische Analyse Dies ist das offizielle Repository für Argus-SAF. Um Argus-SAF zu testen und damit zu spielen, können Sie unser Argus-SAF-playground-Projekt forken, das die grundlegende Einrichtung für ein Argus-SAF-erweitertes Projekt mit Democode enthält, der...

ABD

Deoffuscazione Binaria Avanzata Questo repository contiene i materiali del corso di Deoffuscazione Binaria Avanzata tenuto al Global Cybersecurity Camp GCC Tokyo e al Security Camp National Workshop nel 2020. Abstract del Corso Il reverse engineering non è semplice, specialmente quando un codice...

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

angrgdb

angrgdb angr innerhalb von GDB verwenden. Erstelle einen angr-Zustand aus dem aktuellen Debugger-Zustand. Install root@kitploit: pip install angrgdb echo "python import angrgdb.commands" /.gdbinit Verwendung angrgdb implementiert die angrdbg API in GDB. Du kannst es in Skripten wie folgt verwende...

ManticoreUI

Manticore UI .. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore Il progetto Manticore User Interface MUI fornisce un plugin dell'interfaccia utente grafica per diversi disassemblatori che permette agli...

netgear_r6700v3_circled

Sfruttare uno Stack Buffer Overflow sul NETGEAR R6700v3 CVE-2022-27646 con l'aiuto dell'Esecuzione Simbolica Introduzione Questo repository ha lo scopo di dimostrare alcune funzionalità di Morion, uno strumento proof-of-concept PoC per sperimentare con l'esecuzione simbolica su binari ARMv7 reali...

manticore

⚠️ Project is archived ⚠️ This project is no longer internally developed and maintained. Manticore...

Ponce

Ponce Ponce pronunciato 'poN θe pon-they è un plugin per IDA Pro che fornisce agli utenti la possibilità di eseguire l'analisi di taint e l'esecuzione simbolica su binari in modo facile e intuitivo. Con Ponce sei a un clic di distanza da tutta la potenza dell'esecuzione simbolica all'avanguardia...

aether

Aether v6.0 — Framework di Analisi della Sicurezza per Smart Contract Versione 6.0 | Novità nella v6.0 | Changelog Aether è un framework basato su Python per analizzare smart contract Solidity, generare risultati di vulnerabilità, produrre test proof-of-concept PoC basati su Foundry e validare...

strilight

🌟 Strilight Lifting de Loops SMT de Alto Desempenho em $O1$ e Strided Interval Domain para Análise de Binários x8664 -orange.svg 📖 1. Visão Geral e o Problema Central Mecanismos tradicionais de Execução Simbólica e Instrumentação Dinâmica de Binários DBI como angr , Triton ou KLEE sofrem do notór...

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

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

Angora

Angora Angora è un fuzzer guidato dalla copertura basato su mutazioni. L'obiettivo principale di Angora è aumentare la copertura dei rami risolvendo i vincoli di percorso senza esecuzione simbolica. Lavoro Pubblicato Arxiv: Angora: Efficient Fuzzing by Principled Search, S&P 2018. Compilazione di...

r2ai

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