Ponce

Ponce Ponce произносится 'poN θe пон-тэй — это плагин для IDA Pro, который предоставляет пользователям возможность легко и интуитивно выполнять анализ заражения и символическое выполнение бинарных файлов. С помощью Ponce вы в один клик получаете всю мощь передовых методов символического выполнени...

capstone

Capstone Engine !TIP Welcome to join our community group! Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Created by Nguyen Anh Quynh, then developed and maintained by a small community, Capsto...

netgear_r6700v3_circled

Эксплуатация переполнения буфера стека на NETGEAR R6700v3 CVE-2022-27646 с помощью символьного выполнения Введение Этот репозиторий предназначен для демонстрации некоторых возможностей Morion — доказательства концепции PoC инструмента для экспериментов с символическим выполнением на реальных...

radare2

Radare2: Libre Reversing Framework for Unix Geeks Current git master branch is 6.2.0, next release will be 6.2.1. 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...

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

aether

Aether v6.0 — スマートコントラクトセキュリティ解析フレームワーク バージョン 6.0 | v6.0の新機能 | 変更履歴 Aetherは、Solidityスマートコントラクトの解析、脆弱性の発見、Foundryベースの概念実証（PoC）テストの生成、メインネットフォーク上でのエクスプロイト検証を行うPythonベースのフレームワークです。Solidity AST解析、汚染解析、制御フローグラフ解析、クロスコントラクト解析、Halmosシンボリック実行、180以上のパターンベースの静的検出器、共有 SAGE 組織記憶を備えた協調型マルチエージェントLLMパイプライン...

ManticoreUI

Manticore UI .. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore Проект «Пользовательский интерфейс Manticore» MUI предоставляет графический плагин для различных дизассемблеров, позволяющий легко...

exrop

Exrop Automatischer ROP-Ketten-Generator für x86-64-Binärdateien, unterstützt durch Triton symbolische Ausführung. Funktionen Register auf Konstanten oder andere Register setzen rdi=0x41414141, rdi=rax In Speicher schreiben konstante und registerbasierte Adressen/Werte Strings/Bytes in Speicher...

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

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

VMDragonSlayer

VMDragonSlayer Il progetto sarà reso pubblico a metà ottobre - Refactoring in corso Framework avanzato di rilevamento e analisi di macchine virtuali VMDragonSlayer è un framework completo per l'analisi di binari protetti da protettori basati su macchine virtuali VM come VMProtect 2.x/3.x, Themida...

Argus-SAF

Argus-SAF: framework di analisi statica Argus Questo è il repository ufficiale per Argus-SAF. Per testare e giocare con Argus-SAF, puoi fare fork dal nostro progetto Argus-SAF-playground, che ha la configurazione di base per un progetto potenziato con Argus-SAF con codici demo su come eseguire...

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

ABD

Erweiterte Binär-Deobfuskation Dieses Repository enthält die Kursmaterialien zur erweiterten Binär-Deobfuskation, die auf dem Global Cybersecurity Camp GCC Tokyo und dem Security Camp National Workshop im Jahr 2020 stattfanden. Kurszusammenfassung Reverse Engineering ist nicht einfach, insbesonde...

angrgdb

angrgdb Use angr dentro do GDB. Crie um estado angr a partir do estado atual do depurador. Instalação root@kitploit: pip install angrgdb echo "python import angrgdb.commands" /.gdbinit Uso angrgdb implementa a API do angrdbg no GDB. Você pode usá-lo em scripts como este: root@kitploit: from angrg...

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

manticore

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

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

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