#1Herramientas para examinar binarios y código de malware sin ejecutarlos (ej. desensambladores, desempacadores).
Recomendado por Kitploit
google/magikaDetección rápida y precisa de tipos de contenido de archivos impulsada por IA
morluto/reaReverse engineer anything with agents, from app behavior down to native binaries.
trailofbits/trailmarkBuild and query a graph database representation of source code
uxmal/rekoReko es un descompilador de binarios.
tamarin-prover/tamarin-proverHerramienta de verificación simbólica para protocolos de seguridad que utiliza reescritura de multiconjuntos y resolución de restricciones para…
hydradragonantivirus/hydradragonantivirusDynamic and static analysis with Real Time Malware Analysis with Antivirus for Windows, including open-source XDR (3 EDR projects), ClamAV, YARA-X,…
z3prover/z3High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…
hashgraph-online/hol-guardOpen-source antivirus for AI agents: block risky tools, secret access, prompt injection, malicious packages, MCP servers, plugins, and skills at…
radareorg/radare2Framework de ingeniería inversa estilo UNIX y conjunto de herramientas de línea de comandos
facebook/mariana-trenchUna herramienta de análisis estático centrada en la seguridad para aplicaciones Android y Java.
erocarrera/pefilepefile es un módulo de Python para leer y trabajar con archivos PE (Ejecutable Portátil)
e-m-b-a/embaEMBA - El analizador de seguridad de firmware
loadingalias/rscryptoRust cryptography w/ zero required deps: hashes, checksums, MACs, KDFs, password hashing, AEADs, signatures, RSA, key exchange, ML-KEM, and ML-DSA.…
lkimuk/rearkAn intelligent reverse engineering and AI-assisted analysis tool for HarmonyOS NEXT (HAP/APP/ABC), Android (APK/AAB), iOS (IPA), and native…
anthropics/oss-scannerServicio que compila repositorios de código abierto registrados en VM aisladas sin conexión y los escanea en busca de vulnerabilidades de seguridad,…
gautamvarmadatla/mcpsafetywardenServidor proxy que envuelve servidores MCP con perfilado de comportamiento, escaneo de seguridad, control de riesgos y ejecución segura. Detecta…
mobsf/mobile-security-framework-mobsfMarco de pruebas de seguridad automatizado para aplicaciones móviles en Android, iOS y Windows. Realiza análisis estático y dinámico, detección de…
idamcp/idamcpServidor MCP que integra IDA Pro con agentes de IA, con una pasarela sin estado para la gestión de múltiples sesiones, un motor de consultas SQL…
