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

gosec

gosec - Verificador de Seguridad de Go Inspecciona el código fuente en busca de problemas de seguridad escaneando el AST de Go y la representación de código SSA. Enlaces rápidos GitHub Action Local installation Quick start Common usage patterns Selecting rules Output formats Características Regla...

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

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

BootStomp

BootStomp BootStomp es un buscador de errores en cargadores de arranque. Analiza dos clases diferentes de fallos: vulnerabilidades de corrupción de memoria y de almacenamiento de estado. Para más información, consulta el artículo de BootStomp en...

testing-handbook

Trail of Bits Testing Handbook The Trail of Bits Testing Handbook is a resource for developers and security professionals on configuring, optimizing, and automating many static and dynamic analysis tools we use at Trail of Bits. Preview Testing Handbook: https://appsec.guide 🌐 Why is this needed?...

bincat

Introduction What is BinCAT? BinCAT is a static Binary Code Analysis Toolkit, designed to help reverse engineers, directly from IDA or using Python for automation. It features: value analysis registers and memory taint analysis type reconstruction and propagation backward and forward analysis...

bincat

Introducción ¿Qué es BinCAT? BinCAT es un kit de análisis de código binario estático , diseñado para ayudar a los ingenieros inversos, directamente desde IDA o usando Python para automatización. Incluye: análisis de valores registros y memoria análisis de contaminación reconstrucción y propagació...

CVE-2021-44228

Tai-e para CVE-2021-44228 Este es un proyecto de muestra que utiliza Tai-e para identificar la vulnerabilidad Log4Shell también conocida como CVE-2021-44228 y sus rutas de activación. Video relacionado en chino: https://www.bilibili.com/video/BV1dV411F781 Cómo empezar Clone este repositorio...

opentaint

El motor de analisis de taint de codigo abierto para la era de la IA Analisis de taint formal para la seguridad de aplicaciones — encuentra lo que los motores de coincidencia de patrones AST pasan por alto, permite a los agentes LLM aplicar vulnerabilidades como reglas, escala donde ninguno puede...

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

mole

Mole Mole es un complemento de Binary Ninja diseñado para identificar rutas de ejecución interesantes en binarios. Realiza backward slicing en variables utilizando el Medium Level Intermediate Language MLIL de Binary Ninja en forma Static Single Assignment SSA, formando la base para un static tai...

lava

LAVA: Large Scale Automated Vulnerability Addition Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground truth corpora i.e., software that has known bugs with triggering inputs. LAVA attempts to solve this problem by automatically injecting bugs into...

smalien

Smalien Smalien es una herramienta de análisis de flujo de información y detección de fugas de información para analistas de aplicaciones Android. Smalien realiza análisis estático de taint en aplicaciones Android en una máquina Linux, así como análisis dinámico de taint, detección de fugas de...

pyt

.. image:: https://travis-ci.org/python-security/pyt.svg?branch=master :target: https://travis-ci.org/python-security/pyt .. image:: https://readthedocs.org/projects/pyt/badge/?version=latest :target: http://pyt.readthedocs.io/en/latest/?badge=latest .. image::...

appshark

ドキュメントインデックス 1.概要 2.起動 3.ルールの書き方 4.AppSharkを使ったコンプライアンス問題の発見方法 5.パストラバーサルゲーム 6.引数 7.エンジン設定 8.結果 9.よくある質問 AppShark AppSharkは、Androidアプリの脆弱性をスキャンする静的テイント解析プラットフォームです。 前提条件 AppSharkには特定のバージョンのJDKが必要です。 -- JDK 11。テストの結果、依存関係の互換性の問題により、他のLTSバージョン（JDK 8およびJDK 16）では動作しません。 AppSharkのビルド/コンパイル...

appshark

Document Index 1.overview 2.startup 3.how to write rules 4.how to find compliance problems use appshark 5.a path traversal game 6.argument 7.engine config 8.result 9.faq AppShark Appshark is a static taint analysis platform to scan vulnerabilities in an Android app. Prerequisites Appshark require...

Argus

Argus Este repositorio contiene el código de nuestro artículo de USENIX Security '23 "ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions". Argus es una herramienta integral de análisis de seguridad diseñada específicamente para GitHub Actions. Construido con el...

caracal

Caracal Caracal es una herramienta de análisis estático sobre la representación SIERRA para contratos inteligentes de Starknet. Características Detectores para detectar código Cairo vulnerable Impresoras para reportar información Análisis de taint Marco de análisis de flujo de datos Fácil de...