
Aura-State
Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Staged static taint analysis framework for GitHub Actions workflows. Detects code injection vulnerabilities using taint-tracking and an impact…

AI Smart Contract Security Analysis and PoC Generation Framework

Framework for hashing declared permissions in Chromium extensions and APKs, enabling clustering, hunting, and pivoting across potentially malicious…

A Framework for Integrating Application Security into Software Engineering (FIASSE) using the Securable Software Engineering Model (SSEM)

Mobile Helper Framework (mhf) is a tool that automates the process of identifying the framework/technology used to create a mobile application.…

Qiskit-based resource estimation framework for space-efficient quantum modular inversion and affine point-addition circuits used in elliptic-curve…

AST-based Python code transformation & deobfuscation framework

ReactGuard provides framework- and vulnerability-detection tooling for CVE-2025-55182 (React2Shell)

Security testing framework for repositories and source code

🦅 ZeroScout: The Autonomous Local & Cloud Threat Hunter. Visualize attacks in a live War Room, identify APT groups via Genetic Analysis, and…

Android Reverse Engineering Framework

Image-based Android malware detection framework tackling obfuscation and concept drift. Includes curated datasets and Python code for training…

VulnAgent-X: A Layered Agentic Framework for Repository-Level Vulnerability Detection

Detection scripts and guidance for CVE-2022-22965 (Spring4Shell) vulnerability in Spring Framework, including PowerShell and Bash scanners for…

Framework for auditing blockchain ecosystems, identifying smart contract vulnerabilities, and generating structured findings with multi-platform…

Memory-free continual learning framework for malware classification using mode connectivity-based interpolation. Supports class-incremental and…

AI powered security analysis extension for Mobile Security Framework MobSF