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

clr

CLR C hecker of L ifetimes and other R efinement types for Zig Video: https://www.youtube.com/watch?v=mf0WzTOe-40 Sponsorship: https://buymeacoffee.com/dnautics discuss on hn: https://news.ycombinator.com/item?id=42923829 discuss on lobste.rs: https://lobste.rs/s/9sitsj/clrcheckerforlifetimesothe...

appshark

Índice de documentos 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 es una plataforma de análisis estático de flujo de datos taint analysis para escanear vulnerabilidades ...

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

APKDeepLens

APKDeepLens Información de seguridad de Android en espectro completo. Características • Detección • Instalación • Uso • Informes Presentado enBlack Hat MEA 2023 y Black Hat ASIA 2024 ¿Qué es APKDeepLens? APKDeepLens es una herramienta de análisis estático basada en Python para archivos APK de...

BinAbsInspector

¿Qué es BinAbsInspector? BinAbsInspector Binary Abstract Inspector es un analizador estático para la ingeniería inversa automatizada y el escaneo de vulnerabilidades en binarios, que es un proyecto de investigación a largo plazo incubado en Keenlab. Está basado en interpretación abstracta con el...

efiXplorer

efiXplorer - Plugin IDA y cargador para el análisis de firmware UEFI y la automatización de la ingeniería inversa Documentación Wiki del plugin Wiki del cargador Instrucciones de compilación e instalación Publicaciones efiXplorer: Hunting for UEFI Firmware Vulnerabilities at Scale with Automated...

Mobile-Security-Framework-MobSF

Mobile Security Framework MobSF Mobile Security Framework MobSF is a security research platform for mobile applications in Android, iOS and Windows Mobile. MobSF can be used for a variety of use cases such as mobile application security, penetration testing, malware analysis, and privacy analysis...

BrokenFlow

BrokenFlow Un PoC simple para invocar un shellcode cifrado mediante una llamada oculta. Introducción Este código utiliza un truco simple para ocultar la instrucción que efectivamente saltará a nuestro shellcode. Esto debería hacer que el análisis estático o la emulación sean más difíciles. Como...

uafuzz

UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities Directed Greybox Fuzzing DGF like AFLGo aims to perform stress testing on pre-selected potentially vulnerable target locations, with applications to different security contexts: 1 bug reproduction, 2 patch testing or 3 stati...

wpBullet

wpBullet A static code analysis for WordPress Plugins/Themes and PHP Installation...

truegaze

truegaze A static analysis tool for Android and iOS applications focusing on security issues outside the source code such as resource strings, third party libraries and configuration files. Requirements Python 3 is required and you can find all required modules in the requirements.txt file. Only...

truegaze

truegaze Una herramienta de análisis estático para aplicaciones Android e iOS que se centra en problemas de seguridad fuera del código fuente, como cadenas de recursos, bibliotecas de terceros y archivos de configuración. Requisitos Se requiere Python 3 y todos los módulos necesarios se encuentra...

Apkx-Hunter

APKX-Hunter v2.7.2 — Debian Package APKX-Hunter is an open-source Android Static Analysis Framework written entirely in C , purpose-built for Android security assessments, reverse engineering, malware analysis, OWASP MASVS compliance scanning, bug bounty hunting, and penetration testing. The...

static-analysis

This repository lists static analysis tools for all programming languages, build tools, config files and more. The focus is on tools which improve code quality such as linters and formatters. The official website, analysis-tools.dev is based on this repository and adds rankings, user comments, an...

slither

Slither, el analizador estático de contratos inteligentes Únete al Slack de Empire Hacking - Discusiones y Soporte Slither es un framework de análisis estático para Solide y Vyper escrito en Python3. Ejecuta un conjunto de detectores de vulnerabilidades, imprime información visual sobre los...

Umay

Plataforma de análisis de similitud de malware IoT Ver demostración Tabla de contenidos Acerca del proyecto Funcionalidades actuales Primeros pasos Requisitos previos Instalación Crear tu propio conjunto de datos Contribuciones Licencia Acerca del proyecto...

ReverseAPK

ReverseAPK Créditos: @xer0dayz Sitio web: https://sn1persecurity.com Versión: 1.2 ACERCA DE: Analice rápidamente y realice ingeniería inversa de aplicaciones Android. CARACTERÍSTICAS: Muestra todos los archivos extraídos para facilitar la referencia. Descompila automáticamente archivos APK a...

Broken-Vulnerable-Code-Snippets

Vulnerable-Code-Snippets A collection of vulnerable code snippets taken form around the internet. Snippets taken from various blog posts, books, resources etc. No Copyright Infringement Intended Note: This is not a good benchmark for testing static analysis tools, they are broken code snippets,...

rev-dep

Rev-dep Capabilities • Installation • Documentation • Exploratory Toolkit • Newsletter Dependency analysis and optimization toolkit for modern JavaScript and TypeScript codebases. Enforce dependency graph hygiene and remove unused code with a very fast CLI. About 📣 As codebases scale, maintaining...