program-analysis

Un depurador de modo de usuario de código abierto para Windows. Optimizado para ingeniería inversa y análisis de malware.

Programa para determinar tipos de archivos para Windows, Linux y MacOS.

Triton es una biblioteca de análisis binario dinámico. Construye tus propias herramientas de análisis de programas, automatiza tu ingeniería inversa, realiza verificación de software o simplemente emula código.

Mythril es una herramienta de análisis de seguridad basada en ejecución simbólica para bytecode de EVM. Detecta vulnerabilidades de seguridad en smart contracts construidos para Ethereum y otras blockchains compatibles con EVM.

Framework de ingeniería inversa y conjunto de herramientas de línea de comandos tipo UNIX.

Motor DIE

Analizador estático para C/C++ basado en la teoría de la Interpretación Abstracta.

Encuentra rápidamente diferencias y similitudes en código desensamblado

Plataforma de análisis binario

Jar Analyzer: una herramienta de análisis GUI para paquetes JAR con asistente de IA integrado. Soporta análisis JAR DIFF, búsqueda de relaciones de llamada a métodos, análisis de cadenas de llamadas mediante algoritmo DFS, análisis de contaminación simulando la JVM para verificar resultados DFS, búsqueda de cadenas, análisis de entradas de componentes Java Web, análisis de programas CFG, análisis de marcos de pila JVM, búsqueda de expresiones personalizadas, etc.

Detección de plagio y colusión de código fuente de última generación. Verifica plagio en un conjunto de programas.

Análisis estático de código.

cwe_checker encuentra patrones vulnerables en archivos ejecutables binarios

Reglas de la edición comunitaria de Semgrep, mantenidas por Semgrep y la comunidad. De uso gratuito bajo la licencia Semgrep Rules.

Tareas de Tai-e para el análisis estático de programas

La interfaz gráfica oficial de angr.

Un marco de análisis estático basado en LLVM.

Bibliotecas T.J. Watson para análisis, con interfaces para Java, Android y JavaScript, además de muchos análisis estáticos de programas comunes.

Comprende cualquier base de código al instante. Inteligencia de sistema para bases de código, diseñada para humanos e IA.

Una nueva versión de Soot con una arquitectura completamente renovada.

Una lista curada de recursos increíbles relacionados con LLVM (incluyendo Clang, etc.).

Una colección completa de hojas de referencia para herramientas de ingeniería inversa, análisis binario y programación en ensamblador. Este repositorio sirve como referencia integral para investigadores de seguridad, ingenieros inversos y programadores de bajo nivel.

Framework de análisis binario en Rust

Un frontend de compilador para el lenguaje de programación C

[LLVM Static Slicer] Diversos análisis de programas, construcción de grafos de dependencia y segmentación de programas de bitcode de LLVM.